Výpis publikací

ŘEHÁK, Vojtěch, Petr SLOVÁK, Jan STREJČEK a Loïc HÉLOUËT. Decidable Race Condition and Open Coregions in HMSC. In Jochen Küster, Emilio Tuosto. Proceedings of the Ninth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2010). Paphos, Kypr: ECEASST, 2010, 12 s. ISSN 1863-2122.

GOTTHARD, Petr, Jindřich BABICA a Vojtěch ŘEHÁK. Sequence Chart Studio 0.1: Basic Verification Algorithms. 2008.