TCS / Research / Publications / BMC via On-the-Fly Determinization
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

BMC via On-the-Fly Determinization

Reference:

Toni Jussila, Keijo Heljanko, and Ilkka Niemelä. BMC via on-the-fly determinization. International Journal on Software Tools for Technology Transfer, 7(2):89–101, 2005.

Suggested BibTeX entry:

@article{ttj:otfj,
    author = {Toni Jussila and Keijo Heljanko and Ilkka Niemel\"a},
    journal = {International Journal on Software Tools for Technology Transfer},
    number = {2},
    pages = {89--101},
    title = {{BMC} via On-the-Fly Determinization},
    volume = {7},
    year = {2005},
}

See www.tcs.hut.fi ...

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