The Design of a Temporal Logic for Open Distributed Systems.

Reinhard Gotzhein Friedrich H. Vogt

Published in: Open Distributed Processing (1991)

Keyphrases

temporal logic
model checking
satisfiability problem
knowledge based systems
verification method
concurrent systems