Summary: Handling Global Conditions
in Parametrized System Verification
Parosh Aziz Abdulla
Dept. of Computer Systems
P.O. Box 325
S­751 05 Uppsala, Sweden
parosh@docs.uu.se
Ahmed Bouajjani
VERIMAG, Centre Equation, 2
av. de Vignate
38610 Gieres, France
Ahmed.Bouajjani@imag.fr
Bengt Jonsson
Dept. of Computer Systems
P.O. Box 325
S­751 05 Uppsala, Sweden
bengt@docs.uu.se
Marcus Nilsson
Dept. of Computer Systems
P.O. Box 325

Source: Abdulla, Parosh Aziz - Department of Information Technology, Uppsala Universitet

Collections: Computer Technologies and Information Sciences