Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
6 Results Found Subscribe to search results
000000DEFAULT
Print
1. 
Cover image for Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approach
Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approach
Author 
Penczek, Wojciech. author. Pólrola, Agata. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-32870-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings
Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings
Author 
Lilius, Johan. editor. Penczek, Wojciech. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13675-7
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Transactions on Petri Nets and Other Models of Concurrency XIII
Transactions on Petri Nets and Other Models of Concurrency XIII
Author 
Koutny, Maciej. editor. Kristensen, Lars Michael. editor. Penczek, Wojciech. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-58381-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Transactions on Petri Nets and Other Models of Concurrency XII
Transactions on Petri Nets and Other Models of Concurrency XII
Author 
Koutny, Maciej. editor. (orcid)0000-0003-4563-1378 Kleijn, Jetty. editor. Penczek, Wojciech. editor. Zhang, Mingmin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-55862-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Challenging Problems and Solutions in Intelligent Systems
Challenging Problems and Solutions in Intelligent Systems
Author 
Trė, Guy de. editor. Grzegorzewski, Przemysław. editor. (orcid)0000-0002-5191-4123 Kacprzyk, Janusz. editor. Owsiński, Jan W. editor. Penczek, Wojciech. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30165-5
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Handbook of finite state based models and applications
Handbook of finite state based models and applications
Author 
Wang, Jiacun, editor. of compilation.
Preferred Shelf Number 
QA76.9 .A43 H364 2013
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies: