Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS' 96, Crakow, Poland, September 2 - 6, 1996. Proceedings: 21th ... (Lecture Notes in Computer Science)
by Wojciech Penczek, Andrzej Szalas
ISBN 13: 9783540615507
Format: Paperback (592 pages) Publisher: Springer Published: 07 Aug 1996
Save for later
12: Transactions on Petri Nets and Other Models of Concurrency XII (Lecture Notes in Computer Science)
by Maciej Koutny, Jetty Kleijn, Wojciech Penczek
ISBN 13: 9783662558614
Format: Paperback (236 pages) Publisher: Springer Published: 26 Sep 2017
Transactions on Petri Nets and Other Models of Concurrency XIII
by Maciej Koutny, Lars Michael Kristensen, Wojciech Penczek
ISBN 13: 9783662583807
Format: Paperback (213 pages) Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Published: 03 Jan 2019
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence)
by Wojciech Penczek, Agata Pólrola
ISBN 13: 9783642069420
Format: Paperback (292 pages) Publisher: Springer Published: 25 Nov 2010
Challenging Problems and Solutions in Intelligent Systems (Studies in Computational Intelligence)
by Guy de Tre, Przemyslaw Grzegorzewski, Janusz Kacprzyk, Jan W. Owsinski, Wojciech Penczek, Slawomir Zadrozny
ISBN 13: 9783319807362
Format: Paperback (360 pages) Publisher: Springer Published: 25 Apr 2018