Bonnet, 2013

Summary

Rémi Bonnet (2013) Theory of Well-Structured Transition Systems and Extended Vector-Addition SystemsPhD thesisLaboratoire Spécification et Vérification, ENS Cachan, France (URL)

BibTeX entry

@PHDTHESIS { bonnet-phd2013,
    AUTHOR = { Bonnet, R{\'e}mi },
    MONTH = { },
    SCHOOL = { Laboratoire Sp{\'e}cification et V{\'e}rification, ENS Cachan, France },
    TYPE = { Th{\`e}se de doctorat },
    TITLE = { Theory of Well-Structured Transition Systems and Extended Vector-Addition Systems },
    URL = { http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/bonnet-phd13.pdf },
    YEAR = { 2013 },
}