Search Results for M&uuml;ller-Olm, Markus. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dM$0025C3$0025BCller-Olm$00252C$002bMarkus.$0026ic$003dtrue$0026ps$003d300? 2024-12-05T04:26:14Z Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485693 2024-12-05T04:26:14Z 2024-12-05T04:26:14Z Author&#160;M&uuml;ller-Olm, Markus. editor.&#160;Seidl, Helmut. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10936-7">https://doi.org/10.1007/978-3-319-10936-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Variations on Constants Flow Analysis of Sequential and Parallel Programs ent://SD_ILS/0/SD_ILS:184841 2024-12-05T04:26:14Z 2024-12-05T04:26:14Z Author&#160;M&uuml;ller-Olm, Markus. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11871743">http://dx.doi.org/10.1007/11871743</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification, Model Checking, and Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189527 2024-12-05T04:26:14Z 2024-12-05T04:26:14Z Author&#160;Jones, Neil D. editor.&#160;M&uuml;ller-Olm, Markus. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-93900-9">http://dx.doi.org/10.1007/978-3-540-93900-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399485 2024-12-05T04:26:14Z 2024-12-05T04:26:14Z Author&#160;Feng, Xinyu. editor.&#160;M&uuml;ller-Olm, Markus. editor.&#160;Yang, Zijiang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99933-3">https://doi.org/10.1007/978-3-319-99933-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>