bibtex

@inproceedings{ACM+03,
    title = {Using Controller Synthesis to Build Property-Enforcing Layers },
    author = {Altisen, Karine and Clodic, Aur\'elie and Maraninchi, Florence and Rutten, Eric},
    month = {apr},
    year = {2003},
    booktitle = {European Symposium on Programming (ESOP)},
    team = {SYNC},
}


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

info visites 3748571