%0 Conference Paper %1 conf/time/KrebsMV15 %A Krebs, Andreas %A Meier, Arne %A Virtema, Jonni %B TIME %D 2015 %E Grandi, Fabio %E Lange, Martin %E Lomuscio, Alessio %I IEEE Computer Society %K %P 140-149 %T A Team Based Variant of CTL. %U http://dblp.uni-trier.de/db/conf/time/time2015.html#KrebsMV15 %@ 978-1-4673-9317-1

@inproceedings{conf/time/KrebsMV15, added-at = {2023-12-13T03:02:43.000+0100}, author = {Krebs, Andreas and Meier, Arne and Virtema, Jonni}, biburl = {https://www.bibsonomy.org/bibtex/2b9b65a46a9d406db4290f6d9e0cf7871/admin}, booktitle = {TIME}, crossref = {conf/time/2015}, editor = {Grandi, Fabio and Lange, Martin and Lomuscio, Alessio}, ee = {https://www.wikidata.org/entity/Q57998272}, interhash = {86da6016d2f244a225c61d5b9477c4d9}, intrahash = {b9b65a46a9d406db4290f6d9e0cf7871}, isbn = {978-1-4673-9317-1}, keywords = {}, pages = {140-149}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T03:02:43.000+0100}, title = {A Team Based Variant of CTL.}, url = {http://dblp.uni-trier.de/db/conf/time/time2015.html#KrebsMV15}, year = 2015 }