%0 Journal Article %1 journals/ife/HeinzemannBDS15 %A Heinzemann, Christian %A Brenner, Christian %A Dziwok, Stefan %A Schäfer, Wilhelm %D 2015 %J Comput. Sci. Res. Dev. %K dblp %N 3-4 %P 255-283 %T Automata-based refinement checking for real-time systems. %U http://dblp.uni-trier.de/db/journals/ife/ife30.html#HeinzemannBDS15 %V 30

@article{journals/ife/HeinzemannBDS15, added-at = {2020-03-04T00:00:00.000+0100}, author = {Heinzemann, Christian and Brenner, Christian and Dziwok, Stefan and Schäfer, Wilhelm}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2fae503e56e7b641e2d54077ef17697e7/dblp}, ee = {https://doi.org/10.1007/s00450-014-0257-9}, interhash = {ea3b190c433c2781250f8b082e3641e1}, intrahash = {fae503e56e7b641e2d54077ef17697e7}, journal = {Comput. Sci. Res. Dev.}, keywords = {dblp}, number = {3-4}, pages = {255-283}, timestamp = {2020-04-20T13:05:14.000+0200}, title = {Automata-based refinement checking for real-time systems.}, url = {http://dblp.uni-trier.de/db/journals/ife/ife30.html#HeinzemannBDS15}, volume = 30, year = 2015 }