Search Results for Computer science. - Narrowed by: Legay, Axel. editor. - SpringerLink (Online service) - Computer logic.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bscience.$0026qf$003dAUTHOR$002509Author$002509Legay$00252C$002bAxel.$002beditor.$002509Legay$00252C$002bAxel.$002beditor.$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dSUBJECT$002509Subject$002509Computer$002blogic.$002509Computer$002blogic.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-09-10T12:26:59Z
Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486937
2024-09-10T12:26:59Z
2024-09-10T12:26:59Z
Author Biondi, Fabrizio. editor. Given-Wilson, Thomas. editor. Legay, Axel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30923-7">https://doi.org/10.1007/978-3-030-30923-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485634
2024-09-10T12:26:59Z
2024-09-10T12:26:59Z
Author Legay, Axel. editor. Bozga, Marius. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10512-3">https://doi.org/10.1007/978-3-319-10512-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:488965
2024-09-10T12:26:59Z
2024-09-10T12:26:59Z
Author Bensalem, Saddek. editor. Lakhnech, Yassine. editor. Legay, Axel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54848-2">https://doi.org/10.1007/978-3-642-54848-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>