Treffer: Solving coverability problems of petri nets by partial deduction
Title:
Solving coverability problems of petri nets by partial deduction
Authors:
Source:
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming. :268-279
Availability:
Database:
ACM Full-Text Collection