bibtex

@inproceedings{BL95a,
    title = {Temporal logic + timed automata : expressiveness and decidability },
    author = {Bouajjani, Ahmed and Lakhnech, Yassine},
    year = {1995},
    booktitle = {CONCUR'95: Concurrency Theory},
    pages = {531-546},
    publisher = {Springer-Verlag},
    series = {Lecture Notes in Computer Science},
    volume = {962},
    team = {DCS},
}


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

info visites 4092175