Dragan Bo.na.ki, S. L. (2002). Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings. Springer.
Kopierejuvvon čuohpusbeavdái
Kopieren čuohpusbeavdái ii lihkostuvvan
Chicago-čujuhus (17. p.)
Dragan Bo.na.ki, Stefan Leue. Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings. Berlín, Alemania: Springer, 2002.
Kopierejuvvon čuohpusbeavdái
Kopieren čuohpusbeavdái ii lihkostuvvan
MLA-čujuhus (9. p.)
Dragan Bo.na.ki, Stefan Leue. Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings. Springer, 2002.
Kopierejuvvon čuohpusbeavdái
Kopieren čuohpusbeavdái ii lihkostuvvan
Muitte dárkkistit čujuhemiid riektatvuođa, ovdal go geavahat daid iežat deavsttas.