Bonnet et al, 2013

Summary

Rémi Bonnet, Alain Finkel, Serge Haddad, and Fernando Rosa-Velardo (2013) Ordinal Theory for Expressiveness of Well-Structured Transition Systems Information and Computation, 224:1–22 (URL)

BibTeX entry

@ARTICLE { BFHR-icomp13,
    AUTHOR = { Bonnet, R{\'e}mi and Finkel, Alain and Haddad, Serge and Rosa{-}Velardo, Fernando },
    DOI = { 10.1016/j.ic.2012.11.003 },
    JOURNAL = { Information and Computation },
    MONTH = { },
    PAGES = { 1--22 },
    PUBLISHER = { Elsevier Science Publishers },
    TITLE = { Ordinal Theory for Expressiveness of Well-Structured Transition Systems },
    URL = { http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BFHR-icomp12.pdf },
    VOLUME = { 224 },
    YEAR = { 2013 },
}