Model Construction for Implicit Specifications in Model Logic.

Ole Hgh Jensen, Jarl Tuxen Lang, Christian Jeppesen, Kim Guldstrand Larsen

Browse the full CONCUR paper archive.