Transactions on Petri Nets and Other Models of Concurrency IV
-
heftet
,
Engelsk, 2011