NuSMV-2.3.99-CAV2006

Reference:

Timo Latvala and Tommi Junttila. Nusmv-2.3.99-cav2006. Computer program, 2006.

Suggested BibTeX entry:

@misc{LatvalaJunttila:NuSMV-CAV2006,
    author = {Timo Latvala and Tommi Junttila},
    howpublished = {Computer program},
    title = {NuSMV-2.3.99-CAV2006},
    year = {2006},
}

See www.tcs.hut.fi ...