Verification of concurrent systems based on equivalence checking in SPIN

Par Conseil national de recherches du Canada

AuteurRechercher :
FormatTexte, Rapport technique
Date de publication
Langueanglais
Numéro du CNRCNRCC 40165
Numéro NPARC8913656
Exporter la noticeExporter en format RIS
Signaler une correctionSignaler une correction (s'ouvre dans un nouvel onglet)
Identificateur de l’enregistrement2c877e4c-4410-4398-9537-342504476938
Enregistrement créé2009-04-22
Enregistrement modifié2020-03-05
Date de modification :