Search Results for Vicario, Enrico.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dVicario$00252C$002bEnrico.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?
2024-10-31T08:38:12Z
Formal Modeling and Analysis of Timed Systems 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518791
2024-10-31T08:38:12Z
2024-10-31T08:38:12Z
Author Sankaranarayanan, Sriram. editor. Vicario, Enrico. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518791.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-22975-1">https://doi.org/10.1007/978-3-319-22975-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Frontiers in Quantitative Methods in Informatics 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:401223
2024-10-31T08:38:12Z
2024-10-31T08:38:12Z
Author Balsamo, Simonetta. editor. Marin, Andrea. editor. Vicario, Enrico. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91632-3">https://doi.org/10.1007/978-3-319-91632-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>