scientific article
From MaRDI portal
Publication:4037392
zbMath0765.68148MaRDI QIDQ4037392
Howard Wong-Toi, David L. Dill
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
On control of systems modelled as deterministic Rabin automata, Synthesis of large dynamic concurrent programs from dynamic specifications, Synthesis from scenario-based specifications, On Scheduling Policies for Streams of Structured Jobs, Distributed synthesis for regular and contextfree specifications, A theory of timed automata
