Summary: International Journal of Foundations of Computer Science
Vol. 20, No. 5 (2009) 779­801
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