TCS / Research / Publications / DAA - A BMC Tool Translating LTSs to Boolean Circuits
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

DAA - A BMC Tool Translating LTSs to Boolean Circuits

Reference:

Toni Jussila. Daa - a BMC tool translating LTSs to boolean circuits, October 2003. http://www.tcs.hut.fi/ tjussila/daa.

Suggested BibTeX entry:

@misc{tj:daa,
    author = {Toni Jussila},
    month = {October},
    note = {\url{http://www.tcs.hut.fi/~tjussila/daa}},
    title = {DAA - A {BMC} Tool Translating {LTS}s to Boolean Circuits},
    year = {2003},
}

See www.tcs.hut.fi ...

[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 19 January 2010.