NuSMV-bPLTL

Reference:

Timo Latvala. Nusmv-bpltl. Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, 2004. Software.

Suggested BibTeX entry:

@misc{Lat04b,
    author = {Timo Latvala},
    howpublished = {Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland},
    note = {Software},
    title = {NuSMV-bPLTL},
    year = {2004},
}