Bojan Nokovic, Emil Sekerinski. Verification and Code Generation for Timed Transitions in pCharts. In Bipin C. Desai, editor, International C* Conference on Computer Science & Software Engineering, C3S2E '14, Montreal, QC, Canada - August 03 - 05, 2014. pages 3, ACM, 2014. [doi]
Abstract is missing.