bibtex

@article{BPQ+08,
    title = {Automatic generation of path conditions for concurrent timed systems },
    author = {Bensalem, Saddek and Peled, Doron and Qu, Hongyang and Tripakis, Stavros},
    year = {2008},
    journal = {Theor. Comput. Sci.},
    number = {3},
    pages = {275-292},
    volume = {404},
    team = {DCS, RSD},
}


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

info visites 4121955