Search Results for Güdemann, Matthias.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dG$0025C3$0025BCdemann$00252C$002bMatthias.$0026ps$003d300?dt=list
2026-06-04T10:40:20Z
Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
ent://SD_ILS/0/SD_ILS:518977
2026-06-04T10:40:20Z
2026-06-04T10:40:20Z
Author Núñez, Manuel. editor. Güdemann, Matthias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19458-5">https://doi.org/10.1007/978-3-319-19458-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Go Where the Bugs Are Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday
ent://SD_ILS/0/SD_ILS:601811
2026-06-04T10:40:20Z
2026-06-04T10:40:20Z
Author Ernst, Gidon. editor. (orcid)0000-0002-3289-5764 Güdemann, Matthias. editor. (orcid)0000-0002-1002-6023 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 Nafz, Florian. editor. (orcid)0000-0001-5725-4827 Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-92196-4">https://doi.org/10.1007/978-3-031-92196-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>