Dal Zilio, L.
532  results:
Search for persons X
?
 
?
 
?
12

Automated Polyhedral Abstraction Proving:

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