Eike Best, Javier Esparza. Model Checking of Persistent Petri Nets. In Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter, editors, Computer Science Logic, 5th Workshop, CSL 91, Berne, Switzerland, October 7-11, 1991, Proceedings. Volume 626 of Lecture Notes in Computer Science, pages 35-52, Springer, 1991.
No references recorded for this publication.
No citations of this publication recorded.