MOSEL: A Sound and Efficient Tool for M2L(Str) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger. MOSEL: A Sound and Efficient Tool for M2L(Str). In Orna Grumberg, editor, Computer Aided Verification, 9th International Conference, CAV 97, Haifa, Israel, June 22-25, 1997, Proceedings. Volume 1254 of Lecture Notes in Computer Science, pages 448-451, Springer, 1997.

This author has not been identified. Look up 'Peter Kelb' in GoogleThis author has not been identified. Look up 'Tiziana Margaria' in GoogleThis author has not been identified. Look up 'Michael Mendler' in GoogleThis author has not been identified. Look up 'Claudia Gsottberger' in Google

runs on WebDSL