MPG.eBooks - Author Search Results

Cover Image

1

Mathematical Foundations of Computer Science 1996 : 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings

by Penczek, Wojciech
Published 1996

Springer

Cover Image

2

Advances in Verification of Time Petri Nets and Timed Automata : A Temporal Logic Approach

by Penczek, Wojciech, Pólrola, Agata
Published 2006

Springer Berlin Heidelberg

Cover Image

3

Applications and Theory of Petri Nets : 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings

Published 2010

Springer Berlin Heidelberg

Other Authors: “...Penczek, Wojciech...”

Cover Image

4

Mathematical Foundations of Computer Science 1996 : 21st International Symposium, MFCS' 96, Crakow, Poland, September 2 - 6, 1996. Proceedings

Published 1996

Springer Berlin Heidelberg

Other Authors: “...Penczek, Wojciech...”

Cover Image

5

Transactions on Petri Nets and Other Models of Concurrency XIII

Published 2018

Springer Berlin Heidelberg

Other Authors: “...Penczek, Wojciech...”

Cover Image

6

Transactions on Petri Nets and Other Models of Concurrency XII

Published 2017

Springer Berlin Heidelberg

Other Authors: “...Penczek, Wojciech...”