Publication dans des actes
Titre:
  • Babylon: An integrated Toolkit for the Specification and Verification of Parameterized Systems
Auteur:Ammirati, Pierluigi; Delzanno, Giorgio; Ganty, Pierre; Geeraerts, Gilles; Raskin, Jean-François; Van Begin, Laurent
Informations sur la publication:Proceedings of the SAVE’02 workshop, satellite event of ETAPS’02, page (6p.)
Statut de publication:Publié, 2002
Sujet CREF:Informatique mathématique
Langue:Anglais