@inproceedings{inproceedings, title = {{A team based variant of CTL}}, url = {{}}, year = {{2016}}, month = {{1}}, author = {{Krebs A and Meier A and Virtema J}}, doi = {{10.1109/TIME.2015.11}}, isbn = {{9781467393171}}, volume = {{2016-January}}, journal = {{Proceedings of the International Workshop on Temporal Representation and Reasoning}}, pages = {{140-149}}, note = {{Accessed on 2024/12/23}}}