Bertrand and Schnoebelen, 2013

Summary

Nathalie Bertrand and Philippe Schnoebelen (2013) Computable fixpoints in well-structured symbolic model checking Formal Methods in System Design, 43(2):233–267 (URL)

BibTeX entry

@ARTICLE { BS-fmsd2012,
    AUTHOR = { Bertrand, Nathalie and Schnoebelen, {\relax Ph}ilippe },
    DOI = { 10.1007/s10703-012-0168-y },
    JOURNAL = { Formal Methods in System Design },
    VOLUME = { 43 },
    NUMBER = { 2 },
    PAGES = { 233--267 },
    TITLE = { Computable fixpoints in well-structured symbolic model checking },
    YEAR = { 2013 },
    MONTH = { },
}