%0 Journal Article %1 journals/scp/MorbeS15 %A Morbé, Georges %A Scholl, Christoph %D 2015 %J Sci. Comput. Program. %K dblp %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 = {2022-08-02T00:00:00.000+0200}, author = {Morbé, Georges and Scholl, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/285b48b617acffa4cc42537d3987015ed/dblp}, ee = {https://doi.org/10.1016/j.scico.2015.08.002}, interhash = {b0985a0be20ac40d6a9b30bc568d60d9}, intrahash = {85b48b617acffa4cc42537d3987015ed}, journal = {Sci. Comput. Program.}, keywords = {dblp}, pages = {248-276}, timestamp = {2024-04-09T05:27:23.000+0200}, 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 }