Timed Modal Specification - Theory and Tools - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Karlis Cerans, Jens Chr. Godskesen, Kim Guldstrand Larsen. Timed Modal Specification - Theory and Tools. In Costas Courcoubetis, editor, Computer Aided Verification, 5th International Conference, CAV 93, Elounda, Greece, June 28 - July 1, 1993, Proceedings. Volume 697 of Lecture Notes in Computer Science, pages 253-267, Springer, 1993.

This author has not been identified. Look up 'Karlis Cerans' in GoogleThis author has not been identified. Look up 'Jens Chr. Godskesen' in GoogleThis author has not been identified. Look up 'Kim Guldstrand Larsen' in Google

runs on WebDSL