Matthew Dwyer. Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings. Springer.
Kopierejuvvon čuohpusbeavdái
Kopieren čuohpusbeavdái ii lihkostuvvan
Chicago-čujuhus (17. p.)
Matthew Dwyer. Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings. Berlín, Alemania: Springer.
Kopierejuvvon čuohpusbeavdái
Kopieren čuohpusbeavdái ii lihkostuvvan
MLA-čujuhus (9. p.)
Matthew Dwyer. Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings. Springer.
Kopierejuvvon čuohpusbeavdái
Kopieren čuohpusbeavdái ii lihkostuvvan
Muitte dárkkistit čujuhemiid riektatvuođa, ovdal go geavahat daid iežat deavsttas.