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 |
Détails de la page
Par :
- Date de modification :