Edinburgh Research Explorer

Synthesis of Simulation Models from High Level Specifications

Research output: Working paper

Original languageEnglish
Publication statusPublished - 1987

ID: 3507111