Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
International Journal of Foundations of Computer Science Vol. 20, No. 5 (2009) 779801
 

Summary: International Journal of Foundations of Computer Science
Vol. 20, No. 5 (2009) 779801
c World Scientific Publishing Company
MONOTONIC ABSTRACTION
(ON EFFICIENT
VERIFICATION OF PARAMETERIZED SYSTEMS)
PAROSH AZIZ ABDULLA
Uppsala University, Sweden
parosh@it.uu.se
GIORGIO DELZANNO
Universit`a di Genova, Italy
giorgio@disi.unige.it
NOOMENE BEN HENDA
Uppsala University, Sweden
Noomene.BenHenda@it.uu.se
AHMED REZINE
LIAFA, Paris 7, France
Ahmed.Rezine@liafa.jussieu.fr
Received 12 December 2008
Accepted 15 May 2009

  

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

 

Collections: Computer Technologies and Information Sciences