Search Results for Hofmann, Martin.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dHofmann$00252C$002bMartin.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?2024-09-17T17:46:32ZAutomatentheorie und Logikent://SD_ILS/0/SD_ILS:1938022024-09-17T17:46:32Z2024-09-17T17:46:32ZAuthor Hofmann, Martin. author. Lange, Martin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18090-3">http://dx.doi.org/10.1007/978-3-642-18090-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1941622024-09-17T17:46:32Z2024-09-17T17:46:32ZAuthor Hofmann, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19805-2">http://dx.doi.org/10.1007/978-3-642-19805-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Trustworthly Global Computing 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1930362024-09-17T17:46:32Z2024-09-17T17:46:32ZAuthor Wirsing, Martin. editor. Hofmann, Martin. editor. Rauschmayer, Axel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15640-3">http://dx.doi.org/10.1007/978-3-642-15640-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>