bibtex

@inproceedings{PDT9,
    title = {{Mechanically Proving Determinacy of Hierarchical Block Diagram Translations} },
    author = {Preoteasa, Viorel and Dragomir, Iulia and Tripakis, Stavros},
    month = {january},
    year = {2019},
    booktitle = {Verification, Model Checking, and Abstract Interpretation - 20th International Conference, {VMCAI} 2019, Lisbon, Portugal, January 13-15, 2019},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    team = {rsd, RSD},
}

Publication Sections


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

info visites 1350193