Limit Search Results
Author
Language
Publication Date
-
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
2 Results Found Subscribe to search results
00DEFAULT
Print
1. 
Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings
Author 
Milius, Birgit. editor. Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521180.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43366-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
Author 
D'Souza, Deepak. editor. Lal, Akash. editor. Larsen, Kim Guldstrand. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518938.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46081-8
Format: 
Availability 
Online Library~1
Available:
Copies: