Search Results for Viswanathan, Mahesh. - Narrowed by: Viswanathan, Mahesh. editor.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dViswanathan$00252C$002bMahesh.$0026qf$003dAUTHOR$002509Author$002509Viswanathan$00252C$002bMahesh.$002beditor.$002509Viswanathan$00252C$002bMahesh.$002beditor.$0026ic$003dtrue$0026ps$003d300?2024-09-13T20:04:00ZFormal Techniques for Distributed Objects, Components, and Systems 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5192002024-09-13T20:04:00Z2024-09-13T20:04:00ZAuthor Graf, Susanne. editor. Viswanathan, Mahesh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519200.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19195-9">https://doi.org/10.1007/978-3-319-19195-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1890422024-09-13T20:04:00Z2024-09-13T20:04:00ZAuthor Cha, Sungdeok (Steve). editor. Choi, Jin-Young. editor. Kim, Moonzoo. editor. Lee, Insup. editor. Viswanathan, Mahesh. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88387-6">http://dx.doi.org/10.1007/978-3-540-88387-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>