Verifying Intuition - ILF Checks DAWN Proofs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Thomas Baar, Ekkart Kindler, Hagen Völzer. Verifying Intuition - ILF Checks DAWN Proofs. In Susanna Donatelli, H. C. M. Kleijn, editors, Application and Theory of Petri Nets 1999, 20th International Conference, ICATPN 99, Williamsburg, Virginia, USA, June 21-25, 1999, Proceedings. Volume 1639 of Lecture Notes in Computer Science, pages 404-424, Springer, 1999. [doi]

This author has not been identified. It may be one of the following persons:

Thomas Baar

Look up 'Thomas Baar' in GoogleThis author has not been identified. Look up 'Ekkart Kindler' in GoogleThis author has not been identified. Look up 'Hagen Völzer' in Google

runs on WebDSL