par Delzanno, Giorgio ;Raskin, Jean-François ;Van Begin, Laurent
Référence International journal on software tools for technology transfer, 5, 2-3, page (268-297)
Publication Publié, 2004
Article révisé par les pairs
Titre:
  • CSTs (Covering Sharing Trees: Compact Data Structures for Parameterized Verification
Auteur:Delzanno, Giorgio; Raskin, Jean-François; Van Begin, Laurent
Informations sur la publication:International journal on software tools for technology transfer, 5, 2-3, page (268-297)
Statut de publication:Publié, 2004
Sujet CREF:Informatique mathématique
Langue:Anglais
Identificateurs:urn:issn:1433-2779