Hendrik Göttmann, Isabelle Bacher, Nicolas Gottwald, Malte Lochau. Static Analysis Techniques for Efficient Consistency Checking of Real-Time-Aware DSPL Specifications. In Paul Grünbacher, Christoph Seidl 0001, Deepak Dhungana, Helena Lovasz-Bukvova, editors, VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems, Virtual Event / Krems, Austria, February 9-11, 2021. ACM, 2021. [doi]
@inproceedings{GottmannBGL21, title = {Static Analysis Techniques for Efficient Consistency Checking of Real-Time-Aware DSPL Specifications}, author = {Hendrik Göttmann and Isabelle Bacher and Nicolas Gottwald and Malte Lochau}, year = {2021}, doi = {10.1145/3442391.3442409}, url = {https://doi.org/10.1145/3442391.3442409}, researchr = {https://researchr.org/publication/GottmannBGL21}, cites = {0}, citedby = {0}, booktitle = {VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems, Virtual Event / Krems, Austria, February 9-11, 2021}, editor = {Paul Grünbacher and Christoph Seidl 0001 and Deepak Dhungana and Helena Lovasz-Bukvova}, publisher = {ACM}, isbn = {978-1-4503-8824-5}, }