%0 Journal Article %1 journals/scp/MorbeS15 %A Morbé, Georges %A Scholl, Christoph %D 2015 %J Sci. Comput. Program. %K %P 248-276 %T Fully symbolic TCTL model checking for complete and incomplete real-time systems. %U http://dblp.uni-trier.de/db/journals/scp/scp111.html#MorbeS15 %V 111

@article{journals/scp/MorbeS15, added-at = {2023-12-13T06:41:46.000+0100}, author = {Morbé, Georges and Scholl, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/285b48b617acffa4cc42537d3987015ed/admin}, ee = {http://dx.doi.org/10.1016/j.scico.2015.08.002}, interhash = {b0985a0be20ac40d6a9b30bc568d60d9}, intrahash = {85b48b617acffa4cc42537d3987015ed}, journal = {Sci. Comput. Program.}, keywords = {}, pages = {248-276}, timestamp = {2023-12-13T06:41:46.000+0100}, title = {Fully symbolic TCTL model checking for complete and incomplete real-time systems.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp111.html#MorbeS15}, volume = 111, year = 2015 }