Treffer: Proving correctness of distributed algorithms using high-level Petri nets-a case study
Title:
Proving correctness of distributed algorithms using high-level Petri nets-a case study
Authors:
Source:
Proceedings 1998 International Conference on Application of Concurrency to System Design Application of concurrency to system design Application of Concurrency to System Design, 1998. Proceedings., 1998 International Conference on. :177-186 1998
Relation:
Proceedings 1998 International Conference on Application of Concurrency to System Design
Database:
IEEE Xplore Digital Library