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


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

info visites 3900062