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]
@inproceedings{NokovicS14,
title = {Verification and Code Generation for Timed Transitions in pCharts},
author = {Bojan Nokovic and Emil Sekerinski},
year = {2014},
doi = {10.1145/2641483.2641522},
url = {http://doi.acm.org/10.1145/2641483.2641522},
researchr = {https://researchr.org/publication/NokovicS14},
cites = {0},
citedby = {0},
pages = {3},
booktitle = {International C* Conference on Computer Science & Software Engineering, C3S2E '14, Montreal, QC, Canada - August 03 - 05, 2014},
editor = {Bipin C. Desai},
publisher = {ACM},
isbn = {978-1-4503-2712-1},
}