%0 Conference Paper %1 conf/lics/KozenLMP13 %A Kozen, Dexter %A Larsen, Kim G. %A Mardare, Radu %A Panangaden, Prakash %B LICS %D 2013 %I IEEE Computer Society %K dblp %P 321-330 %T Stone Duality for Markov Processes. %U http://dblp.uni-trier.de/db/conf/lics/lics2013.html#KozenLMP13 %@ 978-1-4799-0413-6

@inproceedings{conf/lics/KozenLMP13, added-at = {2023-03-24T00:00:00.000+0100}, author = {Kozen, Dexter and Larsen, Kim G. and Mardare, Radu and Panangaden, Prakash}, biburl = {https://www.bibsonomy.org/bibtex/2d152d35999963ad74cdc37e2cc0c66f0/dblp}, booktitle = {LICS}, crossref = {conf/lics/2013}, ee = {http://dl.acm.org/citation.cfm?id=2591374}, interhash = {2bcd31e7d8211983e47c0625c2bd3d1a}, intrahash = {d152d35999963ad74cdc37e2cc0c66f0}, isbn = {978-1-4799-0413-6}, keywords = {dblp}, pages = {321-330}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T20:03:10.000+0200}, title = {Stone Duality for Markov Processes.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2013.html#KozenLMP13}, year = 2013 }