OTF - A BMC Tool Translating LTSs to Boolean Circuits

Reference:

Toni Jussila. Otf - a BMC tool translating LTSs to boolean circuits, May 2003.

Suggested BibTeX entry:

@misc{tj:otf,
    author = {Toni Jussila},
    month = {May},
    title = {OTF - A {BMC} Tool Translating {LTS}s to Boolean Circuits},
    year = {2003},
}