%0 Conference Paper %1 conf/sigsoft/Apel0MMS16 %A Apel, Sven %A Beyer, Dirk %A Mordan, Vitaly O. %A Mutilin, Vadim S. %A Stahlbauer, Andreas %B SIGSOFT FSE %D 2016 %E Zimmermann, Thomas %E Cleland-Huang, Jane %E Su, Zhendong %I ACM %K dblp %P 349-361 %T On-the-fly decomposition of specifications in software model checking. %U http://dblp.uni-trier.de/db/conf/sigsoft/fse2016.html#Apel0MMS16 %@ 978-1-4503-4218-6

@inproceedings{conf/sigsoft/Apel0MMS16, added-at = {2018-11-06T00:00:00.000+0100}, author = {Apel, Sven and Beyer, Dirk and Mordan, Vitaly O. and Mutilin, Vadim S. and Stahlbauer, Andreas}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/23cdd27d19bfa7354d42701f13198d88d/dblp}, booktitle = {SIGSOFT FSE}, crossref = {conf/sigsoft/2016}, editor = {Zimmermann, Thomas and Cleland-Huang, Jane and Su, Zhendong}, ee = {https://doi.org/10.1145/2950290.2950349}, interhash = {0e95c7c3631a98afb4786686ff58c9de}, intrahash = {3cdd27d19bfa7354d42701f13198d88d}, isbn = {978-1-4503-4218-6}, keywords = {dblp}, pages = {349-361}, publisher = {ACM}, timestamp = {2019-09-27T15:24:27.000+0200}, title = {On-the-fly decomposition of specifications in software model checking.}, url = {http://dblp.uni-trier.de/db/conf/sigsoft/fse2016.html#Apel0MMS16}, year = 2016 }