Model Checking of Persistent Petri Nets - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Eike Best' in GoogleThis author has not been identified. Look up 'Javier Esparza' in Google

runs on WebDSL