Proceedings of the Workshops of the 31St International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (Petri Nets 2010) and of the 10Th International Conference on Application of Concurrency to System Design (Acsd 2010), Braga, Portugal, June, 2010
AuthID
P-008-NKD
P-008-NKD