Ralph Hoch, Hermann Kaindl. Verification of Feature Coordination using the Fluent Calculus. In Ernesto Damiani, George Spanoudakis, Leszek A. Maciaszek, editors, Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2018, Funchal, Madeira, Portugal, March 23-24, 2018. pages 169-179, SciTePress, 2018. [doi]
@inproceedings{HochK18,
title = {Verification of Feature Coordination using the Fluent Calculus},
author = {Ralph Hoch and Hermann Kaindl},
year = {2018},
doi = {10.5220/0006771401690179},
url = {https://doi.org/10.5220/0006771401690179},
researchr = {https://researchr.org/publication/HochK18},
cites = {0},
citedby = {0},
pages = {169-179},
booktitle = {Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2018, Funchal, Madeira, Portugal, March 23-24, 2018},
editor = {Ernesto Damiani and George Spanoudakis and Leszek A. Maciaszek},
publisher = {SciTePress},
isbn = {978-989-758-300-1},
}