Cover Image
Read Now

1
Published 2014
Springer Berlin Heidelberg
“... on Petri nets, concurrent systems, program semantics, verification, embedded systems, real-time systems...”