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