(2008). Model checking software: 15th International Spin Workshop, Los Angeles, CA, USA, August 10-12, 2008 : proceedings / Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.).
Chicago-čujuhus (17. p.)Model Checking Software: 15th International Spin Workshop, Los Angeles, CA, USA, August 10-12, 2008 : Proceedings / Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.). 2008.
MLA-čujuhus (9. p.)Model Checking Software: 15th International Spin Workshop, Los Angeles, CA, USA, August 10-12, 2008 : Proceedings / Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.). 2008.
Muitte dárkkistit čujuhemiid riektatvuođa, ovdal go geavahat daid iežat deavsttas.