- ECU Libraries Catalog

Start Over

You searched for: author_facet Penczek, Wojciech

Showing 1 - 6 of 6 results

Search Results

Cover image for Transactions on Petri Nets and Other Models of Concurrency XIII

Transactions on Petri Nets and Other Models of Concurrency XIII

by Koutny, Maciej
2018
1st ed. 2018
Format: Electronic

Location
Access Content Online

Cover image for Transactions on Petri Nets and Other Models of Concurrency XII

Transactions on Petri Nets and Other Models of Concurrency XII

by Koutny, Maciej
2017
Format: Electronic

Location
Access Content Online

Cover image for Applications and theory of Petri nets

Applications and theory of Petri nets

by International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency
2010
Format: Electronic

Location
Access Content Online

Cover image for Advances in verification of time petri nets and timed automata

Advances in verification of time petri nets and timed automata

by Penczek, Wojciech
2006
Format: Electronic

Location
Access Content Online

Cover image for Mathematical foundations of computer science 1996

Mathematical foundations of computer science 1996

1996
Format: Electronic

Location
Access Content Online

Cover image for Mathematical foundations of computer science 1996

Mathematical foundations of computer science 1996

1996
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.9.M35 S96 1996	✔ Available