From State Machines to Temporal Logic: Specification Methods for Protocol Standards.

Richard L. Schwartz P. M. Melliar-Smith

Published in: PSTV (1982)

Keyphrases

temporal logic
state machines
state machine
model checking
reactive systems
web services
petri net
transition systems