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&#160;Sankaranarayanan, Sriram. editor.&#160;Vicario, Enrico. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518791.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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&#160;Balsamo, Simonetta. editor.&#160;Marin, Andrea. editor.&#160;Vicario, Enrico. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>