Search Results for de Boer, Frank.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dde$002bBoer$00252C$002bFrank.$0026te$003dILS$0026ps$003d300?
2024-11-05T11:59:20Z
It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
ent://SD_ILS/0/SD_ILS:401217
2024-11-05T11:59:20Z
2024-11-05T11:59:20Z
Author de Boer, Frank. editor. Bonsangue, Marcello. editor. Rutten, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-90089-6">https://doi.org/10.1007/978-3-319-90089-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:519064
2024-11-05T11:59:20Z
2024-11-05T11:59:20Z
Author Bjørner, Nikolaj. editor. de Boer, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519064.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19249-9">https://doi.org/10.1007/978-3-319-19249-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>