A Non-Standard Semantics for Generating Reduced Transition Systems.

Nicoletta De Francesco Antonella Santone Gigliola Vaglini

Published in: LOMAPS (1996)

Keyphrases

transition systems
model checking
control flow
concurrent systems
temporal logic
finite state
social networks
multi agent