%0 Conference Paper %1 journals/entcs/Cirstea10 %A Cîrstea, Corina %B CMCS@ETAPS %D 2010 %E Jacobs, Bart %E Niqui, Milad %E Rutten, Jan J. M. M. %E Silva, Alexandra %I Elsevier %K dblp %N 2 %P 83-103 %T Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics. %U http://dblp.uni-trier.de/db/conf/cmcs/cmcs2010.html#Cirstea10 %V 264

@inproceedings{journals/entcs/Cirstea10, added-at = {2023-03-10T00:00:00.000+0100}, author = {Cîrstea, Corina}, biburl = {https://www.bibsonomy.org/bibtex/29e54d58a1843e7d6d9377229fdaf0261/dblp}, booktitle = {CMCS@ETAPS}, crossref = {conf/cmcs/2010}, editor = {Jacobs, Bart and Niqui, Milad and Rutten, Jan J. M. M. and Silva, Alexandra}, ee = {https://doi.org/10.1016/j.entcs.2010.07.015}, interhash = {d8fae6778d9fd5de6b01a7aa137303c7}, intrahash = {9e54d58a1843e7d6d9377229fdaf0261}, keywords = {dblp}, number = 2, pages = {83-103}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T09:40:57.000+0200}, title = {Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics.}, url = {http://dblp.uni-trier.de/db/conf/cmcs/cmcs2010.html#Cirstea10}, volume = 264, year = 2010 }