Verimag

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

Sections de Publications


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

info visites 911251