Wang Qiang, Simon Bliudze. SeBip: A Symbolic Executor for BIP. In 20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015. pages 174-177, IEEE, 2015. [doi]
@inproceedings{QiangB15-0,
title = {SeBip: A Symbolic Executor for BIP},
author = {Wang Qiang and Simon Bliudze},
year = {2015},
doi = {10.1109/ICECCS.2015.26},
url = {http://dx.doi.org/10.1109/ICECCS.2015.26},
researchr = {https://researchr.org/publication/QiangB15-0},
cites = {0},
citedby = {0},
pages = {174-177},
booktitle = {20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015},
publisher = {IEEE},
isbn = {978-1-4673-8581-7},
}