Model Construction for Implicit Specifications in Model Logic

• Authors:

• Ole Høgh Jensen;Jarl Tuxen Lang;Christian Jeppesen;Kim Guldstrand Larsen

• Affiliations:

• -;-;-;-

• Venue:
• CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
• Year:
• 1993