Model Construction for Implicit Specifications in Model Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ole Høgh Jensen, Jarl Tuxen Lang, Christian Jeppesen, Kim Guldstrand Larsen. Model Construction for Implicit Specifications in Model Logic. In Eike Best, editor, CONCUR 93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings. Volume 715 of Lecture Notes in Computer Science, pages 247-261, Springer, 1993.

This author has not been identified. Look up 'Ole Høgh Jensen' in GoogleThis author has not been identified. Look up 'Jarl Tuxen Lang' in GoogleThis author has not been identified. Look up 'Christian Jeppesen' in GoogleThis author has not been identified. Look up 'Kim Guldstrand Larsen' in Google

runs on WebDSL