Martin T. Vechev. Computer-aided construction of concurrent systems. In Boris Rachev, Angel Smrikarov, editors, Proceedings of the 11th International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing, CompSysTech 2010, Sofia, Bulgaria, June 17-18, 2010. pages 19-24, ACM, 2010. [doi]
@inproceedings{Vechev10,
title = {Computer-aided construction of concurrent systems},
author = {Martin T. Vechev},
year = {2010},
doi = {10.1145/1839379.1839383},
url = {http://doi.acm.org/10.1145/1839379.1839383},
researchr = {https://researchr.org/publication/Vechev10},
cites = {0},
citedby = {0},
pages = {19-24},
booktitle = {Proceedings of the 11th International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing, CompSysTech 2010, Sofia, Bulgaria, June 17-18, 2010},
editor = {Boris Rachev and Angel Smrikarov},
publisher = {ACM},
isbn = {978-1-4503-0243-2},
}