Verification of concurrent systems based on equivalence checking in SPIN
Verification of concurrent systems based on equivalence checking in SPIN
Auteur | Rechercher : |
---|---|
Format | Texte, Rapport technique |
Date de publication | 1997 |
Langue | anglais |
Numéro du CNRC | NRCC 40165 |
Numéro NPARC | 8913656 |
Exporter la notice | Exporter en format RIS |
Signaler une correction | Signaler une correction (s'ouvre dans un nouvel onglet) |
Identificateur de l’enregistrement | 2c877e4c-4410-4398-9537-342504476938 |
Enregistrement créé | 2009-04-22 |
Enregistrement modifié | 2020-03-05 |
- Date de modification :