Partial-Order Reduction for Multi-core LTL Model Checking (bibtex)
by Alfons Laarman, Anton Wijs
Reference:
Partial-Order Reduction for Multi-core LTL Model CheckingAlfons Laarman, Anton WijsChapter in Hardware and Software: Verification and Testing (Eran Yahav, ed.), volume 8855 of Lecture Notes in Computer Science, pages 267-283, 2014, Springer International Publishing.
Bibtex Entry:
@incollection{LaarmanWijsHVC2014,
    year={2014},
    isbn={978-3-319-13337-9},
    booktitle={Hardware and Software: Verification and Testing},
    volume={8855},
    series={Lecture Notes in Computer Science},
    editor={Yahav, Eran},
    doi={10.1007/978-3-319-13338-6_20},
    title={Partial-Order Reduction for Multi-core LTL Model Checking},
    url={http://dx.doi.org/10.1007/978-3-319-13338-6_20},
    publisher={Springer International Publishing},
    author={Laarman, Alfons and Wijs, Anton},
    pages={267-283},
    language={English}
}
Powered by bibtexbrowser