Search Results for Howar, Falk. - Narrowed by: Computer science.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dHowar$00252C$002bFalk.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026ps$003d300?
2026-05-14T15:21:45Z
Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400230
2026-05-14T15:21:45Z
2026-05-14T15:21:45Z
Author Howar, Falk. editor. Barnat, Jiří. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00244-2">https://doi.org/10.1007/978-3-030-00244-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tests and Proofs 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:605098
2026-05-14T15:21:45Z
2026-05-14T15:21:45Z
Author Huisman, Marieke. editor. (orcid)0000-0003-4467-072X Howar, Falk. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-72044-4">https://doi.org/10.1007/978-3-031-72044-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>