Switch to list view
Switch to thumbnail view
8 Results Found Subscribe to search results
00000000DEFAULT
Print
1. 
Cover image for Handbook of Model Checking
Handbook of Model Checking
Author 
Clarke, Edmund M. editor. Henzinger, Thomas A. editor. Veith, Helmut. editor. Bloem, Roderick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10575-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Transactions on Computational Science XXXIII
Transactions on Computational Science XXXIII
Author 
Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-58039-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Do-All Computing in Distributed Systems Cooperation in the Presence of Adversity
Do-All Computing in Distributed Systems Cooperation in the Presence of Adversity
Author 
Georgiou, Chryssis. author. Shvartsman, Alexander A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-69045-2
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings
Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings
Author 
Hee, Kees M. editor. Valk, Rüdiger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68746-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Principles of the Spin Model Checker
Principles of the Spin Model Checker
Author 
Ben-Ari, Mordechai. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-770-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Petri Nets and Other Models of Concurrency – ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings
Petri Nets and Other Models of Concurrency – ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings
Author 
Kleijn, Jetty. editor. Yakovlev, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73094-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Petri Nets and Other Models of Concurrency - ICATPN 2006 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings
Petri Nets and Other Models of Concurrency - ICATPN 2006 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings
Author 
Donatelli, Susanna. editor. Thiagarajan, P. S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11767589
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Applications and Theory of Petri Nets 2005 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings
Applications and Theory of Petri Nets 2005 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings
Author 
Ciardo, Gianfranco. editor. Darondeau, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136988
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets