Verimag

bibtex

@inproceedings{BLY96a,
    title = {Model Checking for Extended Timed Temporal Logics },
    author = {Bouajjani, Ahmed and Lakhnech, Yassine and Yovine, Sergio},
    year = {1996},
    booktitle = {4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems FTRTFT'96},
    pages = {306-326},
    publisher = {Springer-Verlag},
    series = {Lecture Notes in Computer Science},
    volume = {1135},
    team = {DCS},
}

Publication Sections


Contact | Site Map | Site created with SPIP 2.1.26 + AHUNTSIC [CC License]

Logged in visitors: 28 ; visits: 452019