Search Results for Majumdar, Rupak. - Narrowed by: Logic design.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMajumdar$00252C$002bRupak.$0026qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026te$003dILS$0026ps$003d300?2024-09-14T06:36:35ZHybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1897432024-09-14T06:36:35Z2024-09-14T06:36:35ZAuthor Majumdar, Rupak. editor. Tabuada, Paulo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00602-9">http://dx.doi.org/10.1007/978-3-642-00602-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1918572024-09-14T06:36:35Z2024-09-14T06:36:35ZAuthor Esparza, Javier. editor. Majumdar, Rupak. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12002-2">http://dx.doi.org/10.1007/978-3-642-12002-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedingsent://SD_ILS/0/SD_ILS:1885982024-09-14T06:36:35Z2024-09-14T06:36:35ZAuthor Havelund, Klaus. editor. Majumdar, Rupak. editor. Palsberg, Jens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85114-1">http://dx.doi.org/10.1007/978-3-540-85114-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>