Back to Search
Start Over
A protocol modeling and verification approach based on a specification language and Petri nets
- Source :
- IEEE Transactions on Software Engineering. May, 1990, Vol. v16 Issue n5, p523, 14 p.
- Publication Year :
- 1990
- Subjects :
- Petri Nets
Protocol
Specifications
Modeling
I/O Management
Subjects
Details
- ISSN :
- 00985589
- Volume :
- v16
- Issue :
- n5
- Database :
- Gale General OneFile
- Journal :
- IEEE Transactions on Software Engineering
- Publication Type :
- Academic Journal
- Accession number :
- edsgcl.8383662