Transactions on Petri Nets and Other Models of Concurrency VII - Hutchison, David; Kanade, Takeo; Kittler, Josef; Balbo, Gianfranco ; Wolf, Karsten; Balbo, Gianfranco; Koutny, Maciej; van der Aalst, Wil M. P.; Wolf, Karsten (Springer Berlin Heidelberg, 2013)
Keywords: Information Technology -- Software Engineering