%0 Journal Article %1 journals/scp/MullerSV17 %A Müller, Richard %A Stahl, Christian %A Vogler, Walter %D 2017 %J Sci. Comput. Program. %K %P 1-25 %T Deciding conformance for bounded responsiveness. %U http://dblp.uni-trier.de/db/journals/scp/scp138.html#MullerSV17 %V 138

@article{journals/scp/MullerSV17, added-at = {2023-12-13T07:43:12.000+0100}, author = {Müller, Richard and Stahl, Christian and Vogler, Walter}, biburl = {https://www.bibsonomy.org/bibtex/289bfb17e1577773146df96ebc70638c7/admin}, ee = {http://dx.doi.org/10.1016/j.scico.2016.11.003}, interhash = {bc5cab6ce3c589a18af3a5895485c664}, intrahash = {89bfb17e1577773146df96ebc70638c7}, journal = {Sci. Comput. Program.}, keywords = {}, pages = {1-25}, timestamp = {2023-12-13T07:43:12.000+0100}, title = {Deciding conformance for bounded responsiveness.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp138.html#MullerSV17}, volume = 138, year = 2017 }