Mechanically Proving Determinacy of Hierarchical Block Diagram Translations.

Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis

Browse the full VMCAI paper archive.