Finkel and Goubault-Larrecq, 2012

Summary

Alain Finkel and Jean Goubault-Larrecq (2012) Forward Analysis for WSTS, Part II: Complete WSTS Logical Methods in Computer Science, 8(3:28) (URL)

BibTeX entry

@ARTICLE { FG-lmcs12,
    AUTHOR = { Finkel, Alain and Goubault{-}Larrecq, Jean },
    DOI = { 10.2168/LMCS-8(3:28)2012 },
    JOURNAL = { Logical Methods in Computer Science },
    MONTH = { },
    NUMBER = { 3:28 },
    TITLE = { Forward Analysis for {WSTS}, Part {II}: Complete {WSTS} },
    URL = { http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/FG-lmcs12.pdf },
    VOLUME = { 8 },
    YEAR = { 2012 },
}