Jinho On, Sujeong Woo, Moonkun Lee. A Graphical Language to Integrate Process Algebra and State Machine Views for Specification and Verification of Distributed Real-Time Systems. In Xiaoying Bai, Fevzi Belli, Elisa Bertino, Carl K. Chang, Atilla Elçi, Cristina Cerschi Seceleanu, Haihua Xie, Mohammad Zulkernine, editors, 36th Annual IEEE Computer Software and Applications Conference Workshops, COMPSAC 2012, Izmir, Turkey, July 16-20, 2012. pages 218-223, IEEE Computer Society, 2012. [doi]
@inproceedings{OnWL12,
title = {A Graphical Language to Integrate Process Algebra and State Machine Views for Specification and Verification of Distributed Real-Time Systems},
author = {Jinho On and Sujeong Woo and Moonkun Lee},
year = {2012},
doi = {10.1109/COMPSACW.2012.48},
url = {http://doi.ieeecomputersociety.org/10.1109/COMPSACW.2012.48},
researchr = {https://researchr.org/publication/OnWL12},
cites = {0},
citedby = {0},
pages = {218-223},
booktitle = {36th Annual IEEE Computer Software and Applications Conference Workshops, COMPSAC 2012, Izmir, Turkey, July 16-20, 2012},
editor = {Xiaoying Bai and Fevzi Belli and Elisa Bertino and Carl K. Chang and Atilla Elçi and Cristina Cerschi Seceleanu and Haihua Xie and Mohammad Zulkernine},
publisher = {IEEE Computer Society},
isbn = {978-1-4673-2714-5},
}