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},
}


Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4093362