On The Synchronic Structure of Transition Systems.

Luca Bernardinello Giorgio De Michelis Katia Petruni Sebastiano Vigna

Published in: STRICT (1995)

Keyphrases

transition systems
model checking