Normal view
MARC view
Maciej Koutny, Lars Michael Kristensen, Wojciech Penczek(Personal Name)
Machine generated authority record
Work cat.: (OSt)1635357: Maciej Koutny, Lars Michael Kristensen, Wojciech Penczek, Transactions on Petri Nets and Other Models of Concurrency XIII