Search Results for Markov processes. - Narrowed by: Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMarkov$002bprocesses.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ic$003dtrue$0026ps$003d300?dt=list 2026-03-16T21:23:00Z Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings ent://SD_ILS/0/SD_ILS:610792 2026-03-16T21:23:00Z 2026-03-16T21:23:00Z Author&#160;Artho, Cyrille. editor.&#160;Legay, Axel. editor.&#160;Peled, Doron. 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-46520-3">https://doi.org/10.1007/978-3-319-46520-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616001 2026-03-16T21:23:00Z 2026-03-16T21:23:00Z Author&#160;Wittevrongel, Sabine. editor.&#160;Phung-Duc, Tuan. 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-43904-4">https://doi.org/10.1007/978-3-319-43904-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>