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 | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4159353