Transactions on Petri Nets and Other Models of Concurrency VI - Jensen; Ajmone Marsan, Marco; Franceschinis, Giuliana; Kleijn, Jetty; Kristensen, Lars M.; van der Aalst, Wil; van der Aalst, Wil M. P. (Springer Berlin Heidelberg, 2012)
Keywords: Information Technology -- Software Engineering