Verimag

bibtex

@inproceedings{AT02,
    title = {Tools for Controller Synthesis of Timed Systems },
    author = {Altisen, Karine and Tripakis, Stavros},
    month = {july},
    year = {2002},
    booktitle = {2nd Workshop on Real-Time Tools (RT-TOOLS'2002)},
    team = {TEMPO},
}

Publication Sections


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

Logged in visitors: 12 ; visits: 432637