Synthesis of Procedural Models for Deterministic Transition Systems

Open in new window