bibtex

@inproceedings{BL95b,
    title = {Logics vs. Automata: The Hybrid Case },
    author = {Bouajjani, Ahmed and Lakhnech, Yassine},
    year = {1995},
    booktitle = {Hybrid Systems III: Verification and Control, Proceedings of the DIMACS/SYCON Workshop, October 22-25, 1995, Ruttgers University, New Brunswick, NJ, USA},
    note = {Hybrid Systems III},
    pages = {531-542},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {1066},
    team = {DCS},
}


Contact | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4092199