Search Results for André, Étienne. - Narrowed by: 2023
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dAndr$0025C3$0025A9$00252C$002b$0025C3$002589tienne.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092023$0025092023$0026te$003dILS$0026ps$003d300?
2024-11-19T00:46:12Z
Automated Technology for Verification and Analysis 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:521249
2024-11-19T00:46:12Z
2024-11-19T00:46:12Z
Author André, Étienne. editor. Sun, Jun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521249.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-45332-8">https://doi.org/10.1007/978-3-031-45332-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Technology for Verification and Analysis 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:521255
2024-11-19T00:46:12Z
2024-11-19T00:46:12Z
Author André, Étienne. editor. Sun, Jun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521255.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-45329-8">https://doi.org/10.1007/978-3-031-45329-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>