System analysis and protocol verification by an interactive Petri net package.
| Titre: | System analysis and protocol verification by an interactive Petri net package. |
| Auteur: | Qiu, Xiaoling. |
| Date: | 1984 |
| URI: | http://hdl.handle.net/10393/5039 |
Fichier(s) constituant ce document :
| Fichier(s) | Taille | Format | |
|---|---|---|---|
| MK67558.PDF | 3.791Mb | application/pdf |
Voir/ |