Search for persons
X
?
25th ACM International Conference on Hybrid Systems: Computation and Control ,
11
Mortality and Edge-to-Edge Reachability are Decidable on Su..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
14
Synthesis and Analysis of Petri Nets from Causal Specificat..:
, In:
?
Lecture Notes in Computer Science; Combinatorial Algorithms ,
15