bibtex

@inproceedings{LH94,
    title = {Reasoning about durations in metric temporal logic },
    author = {Lakhnech, Yassine and Hooman, Jozef},
    year = {1994},
    booktitle = {Third International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems},
    pages = {488--510},
    publisher = {Springer-Verlag},
    series = {LNCS},
    volume = {863},
    team = {DCS},
}


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

info visites 3899732