Sign in
TLA+: Whence, Wherefore, and Whither.
Leslie Lamport
Published in:
NASA Formal Methods (2009)
Keyphrases
</>
temporal logic
model checking
petri net
data flow
model checker