Cover Image
Read Now

1
by André, Etienne
Published 2013
ISTE
“... and verification of timed concurrent systems and, in particular, timed automata as well as several extensions...”