Normal view
MARC view
Maciej Koutny, Jetty Kleijn, Wojciech Penczek, Mingmin Zhang (Personal Name)
Machine generated authority record
Work cat.: (OSt)1627418: Maciej Koutny, Jetty Kleijn, Wojciech Penczek, Mingmin Zhang, Transactions on Petri Nets and Other Models of Concurrency XII