Julia Seiter, Robert Wille, Ulrich Kühne, Rolf Drechsler. Automatic refinement checking for formal system models. In Proceedings of the 2014 Forum on Specification and Design Languages, FDL 2014, Munich, Germany, October 14-16, 2014. pages 1-8, IEEE, 2014. [doi]
@inproceedings{SeiterWKD14,
title = {Automatic refinement checking for formal system models},
author = {Julia Seiter and Robert Wille and Ulrich Kühne and Rolf Drechsler},
year = {2014},
doi = {10.1109/FDL.2014.7119339},
url = {http://dx.doi.org/10.1109/FDL.2014.7119339},
researchr = {https://researchr.org/publication/SeiterWKD14},
cites = {0},
citedby = {0},
pages = {1-8},
booktitle = {Proceedings of the 2014 Forum on Specification and Design Languages, FDL 2014, Munich, Germany, October 14-16, 2014},
publisher = {IEEE},
isbn = {978-2-9530504-9-3},
}