Login / Signup
On the Design of Reactive Systems.
Reino Kurki-Suonio
T. Kankaanpää
Published in:
BIT (1988)
Keyphrases
</>
reactive systems
case study
databases
formal methods
knowledge based systems
building blocks
model checking
temporal logic