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
2014
ISBN-13
978-1-4503-2712-1
Conference proceedings
C3S2E
Experts has a new look! Let us know what you think of the updates.
Provide feedback