%0 Conference Paper %1 conf/time/BruseL21 %A Bruse, Florian %A Lange, Martin %B TIME %D 2021 %E Combi, Carlo %E Eder, Johann %E Reynolds, Mark %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 12:1-12:14 %T Model Checking Timed Recursive CTL. %U http://dblp.uni-trier.de/db/conf/time/time2021.html#BruseL21 %V 206 %@ 978-3-95977-206-8

@inproceedings{conf/time/BruseL21, added-at = {2021-09-16T00:00:00.000+0200}, author = {Bruse, Florian and Lange, Martin}, biburl = {https://www.bibsonomy.org/bibtex/21b2722843e30f3e6c7e7908c204c53e3/dblp}, booktitle = {TIME}, crossref = {conf/time/2021}, editor = {Combi, Carlo and Eder, Johann and Reynolds, Mark}, ee = {https://doi.org/10.4230/LIPIcs.TIME.2021.12}, interhash = {169fb12f961aba73608d48cc18c7b4cd}, intrahash = {1b2722843e30f3e6c7e7908c204c53e3}, isbn = {978-3-95977-206-8}, keywords = {dblp}, pages = {12:1-12:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-09T22:39:34.000+0200}, title = {Model Checking Timed Recursive CTL.}, url = {http://dblp.uni-trier.de/db/conf/time/time2021.html#BruseL21}, volume = 206, year = 2021 }