bibtex

@inproceedings{DPT8,
    title = { The Refinement Calculus of Reactive Systems Toolset },
    author = {Dragomir, Iulia and Preoteasa, Viorel and Tripakis, Stavros},
    month = {april},
    year = {2018},
    booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, {TACAS} 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software},
    pages = {201--208},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {10806},
    team = {rsd, RSD},
}

URL

Publication Sections


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

info visites 1259450