Dal Zilio, L.
532  Ergebnisse:
Personensuche X
?
 
?
 
?
13

Automated Polyhedral Abstraction Proving:

, In: Application and Theory of Petri Nets and Concurrency; Lecture Notes in Computer Science,
 
1-15