Login / Signup
Verification of Concurrent Systems: Function and Timing.
William T. Overman
Stephen D. Crocker
Published in:
PSTV (1982)
Keyphrases
</>
concurrent systems
temporal logic
model checking
distributed systems
process algebra
transition systems
formal specification
petri net
piecewise linear
object oriented
open source
machine learning
relational databases
knowledge based systems