Conference
Verification and Code Generation for Timed Transitions in pCharts.
Authors
Nokovic B; Sekerinski E
Editors
Desai BC
Pagination
pp. 3:1-3:1
Publisher
ACM
Publication Date
January 1, 2014
ISBN-13
978-1-4503-2712-1
Conference proceedings
C3S2E