bibtex

@inproceedings{AGS00,
    title = {A methodology for the construction of scheduled systems },
    author = {Altisen, Karine and Goessler, Gregor and Sifakis, Joseph},
    year = {2000},
    booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems 2000 (FTRTFT'00)},
    team = {TEMPO},
}


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

info visites 4190437