Verimag

bibtex

@inproceedings{BIL06,
    title = {Flat Parametric Counter Automata },
    author = {Bozga, Marius and Iosif, Radu and Lakhnech, Yassine},
    year = {2006},
    booktitle = {Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II},
    pages = {577-588},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {4052},
    team = {DCS},
}

Publication Sections


Contact | Site Map | Site created with SPIP 2.1.26 + AHUNTSIC [CC License]

Logged in visitors: 7 ; visits: 452046