Model Construction for Implicit Specifications in Model Logic

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.

Abstract

Abstract is missing.