The Model-Checking Kit - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Claus Schröter, Stefan Schwoon, Javier Esparza. The Model-Checking Kit. In Wil M. P. van der Aalst, Eike Best, editors, Applications and Theory of Petri Nets 2003, 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings. Volume 2679 of Lecture Notes in Computer Science, pages 463-472, Springer, 2003. [doi]

This author has not been identified. Look up 'Claus Schröter' in GoogleThis author has not been identified. Look up 'Stefan Schwoon' in GoogleThis author has not been identified. Look up 'Javier Esparza' in Google

runs on WebDSL