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