OTF - A BMC Tool Translating LTSs to Boolean Circuits (2003)
AUTHORS:
Jussila Toni
URL:
http://www.tcs.hut.fi/~tjussila/otf
@misc{ tj:otf, author = "Jussila, Toni", title = "OTF - A {BMC} Tool Translating {LTS}s to Boolean Circuits", opthowpublished = "", optnote = "\url{http://www.tcs.hut.fi/~tjussila/otf}", month = "May", url = "http://www.tcs.hut.fi/~tjussila/otf", optannote = "", flags = "SA-53695 SOFTWARE", optkey = "", year = "2003" }