Joel Greenyer, Timo Gutjahr. Symbolic Execution for Realizability-Checking of Scenario-Based Specifications. In 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017. pages 312-322, IEEE Computer Society, 2017. [doi]
@inproceedings{GreenyerG17,
title = {Symbolic Execution for Realizability-Checking of Scenario-Based Specifications},
author = {Joel Greenyer and Timo Gutjahr},
year = {2017},
doi = {10.1109/MODELS.2017.35},
url = {http://doi.ieeecomputersociety.org/10.1109/MODELS.2017.35},
researchr = {https://researchr.org/publication/GreenyerG17},
cites = {0},
citedby = {0},
pages = {312-322},
booktitle = {20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017},
publisher = {IEEE Computer Society},
isbn = {978-1-5386-3492-9},
}