bibtex

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


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

info visites 4190465