Sven Apel, Dirk Beyer 0001, Vitaly O. Mordan, Vadim S. Mutilin, Andreas Stahlbauer
On-the-fly decomposition of specifications in software model checking
FSE, 2016.
@inproceedings{FSE-2016-Apel0MMS,
author = "Sven Apel and Dirk Beyer 0001 and Vitaly O. Mordan and Vadim S. Mutilin and Andreas Stahlbauer",
booktitle = "{Proceedings of the 24th International Symposium on Foundations of Software Engineering}",
doi = "10.1145/2950290.2950349",
isbn = "978-1-4503-4218-6",
pages = "349--361",
publisher = "{ACM}",
title = "{On-the-fly decomposition of specifications in software model checking}",
year = 2016,
}