Cover Image
Read Now

1
Published 2015
Springer International Publishing
“...; reachability analysis in counter/timed/cellular/communicating automata; Petri nets; computational aspects...”