• Citer

dSL verification with spin, a case study

par De Wachter, Bram ;Massart, Thierry ;Meuter, Cédric
Référence Automated Verification of Critical Systems(3: April 2003: Southampton, UK), Proceedings of the 3rd Automated Verification of Critical Systems (AVoCS03), page (17)
Publication Publié, 2003

Publication dans des actes

• Détails

Titre:	dSL verification with spin, a case study
Auteur:	De Wachter, Bram; Massart, Thierry; Meuter, Cédric
Informations sur la publication:	Automated Verification of Critical Systems(3: April 2003: Southampton, UK), Proceedings of the 3rd Automated Verification of Critical Systems (AVoCS03), page (17)
Statut de publication:	Publié, 2003
Sujet CREF:	Informatique mathématique
Langue:	Anglais