Verimag

bibtex

@inproceedings{AGP+99,
    title = {A Framework for Scheduler Synthesis },
    author = {Altisen, Karine and Goessler, Gregor and Pnueli, Amir and Sifakis, Joseph and Tripakis, Stavros and Yovine, Sergio},
    month = {December},
    year = {1999},
    booktitle = {RTSS'99},
    address = {USA},
    team = {TEMPO},
}

Publication Sections


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

info visites 895480