bibtex

@article{ACS13,
    title = {Rigorous implementation of real-time systems - from theory to application },
    author = {Abdellatif, Tesnim and Combaz, Jacques and Sifakis, Joseph},
    year = {2013},
    journal = {Mathematical Structures in Computer Science},
    number = {4},
    pages = {882-914},
    volume = {23},
    team = {DCS, RSD},
    ee = {http://dx.doi.org/10.1017/S096012951200028X}, bibsource = {DBLP, http://dblp.uni-trier.de},
}


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

info visites 3748582