Search Results for Holzmann, Gerard J.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dHolzmann$00252C$002bGerard$002bJ.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?
2024-10-24T12:30:16Z
The spin model checker : primer and reference manual
ent://SD_ILS/0/SD_ILS:312840
2024-10-24T12:30:16Z
2024-10-24T12:30:16Z
Author Holzmann, Gerard J.<br/>Preferred Shelf Number TA168 H65 2004<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194357
2024-10-24T12:30:16Z
2024-10-24T12:30:16Z
Author Bobaru, Mihaela. editor. Havelund, Klaus. editor. Holzmann, Gerard J. editor. Joshi, Rajeev. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20398-5">http://dx.doi.org/10.1007/978-3-642-20398-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>