NuSMV-2.2.3-CAV2005

Reference:

Tommi Junttila. Nusmv-2.2.3-cav2005. Computer program, 2005.

Suggested BibTeX entry:

@misc{Junttila:NuSMV-CAV2005,
    author = {Tommi Junttila},
    howpublished = {Computer program},
    title = {NuSMV-2.2.3-CAV2005},
    year = {2005},
}