Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Handling Global Conditions in Parametrized System Verification
 

Summary: Handling Global Conditions
in Parametrized System Verification
Parosh Aziz Abdulla
Dept. of Computer Systems
P.O. Box 325
S751 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
S751 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