Design and verification of the sequential systems automata using temporal logic specifications.

Anatol Ursu, Gabriela Gruita, Sergiu Zaporojan

Browse the full DATE paper archive.