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


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

info visites 4190970