Publications

STV-STTT10

Summary

R. Sebastiani, S. Tonetta and M.Y. Vardi (2010) Symbolic Systems, Explicit Properties: On Hybrid Approachesfor LTL Symbolic Model Checking. STTT, To appear. DOI: 10.1007/s10009-010-0168-4.

Bibtex entry

@ARTICLE { STV-STTT10,
    AUTHOR = { R. Sebastiani and S. Tonetta and M.Y. Vardi },
    TITLE = { {Symbolic Systems, Explicit Properties: On Hybrid Approachesfor LTL Symbolic Model Checking} },
    JOURNAL = { STTT },
    YEAR = { 2010 },
    VOLUME = { To appear. DOI: 10.1007/s10009-010-0168-4 },
}