%0 Conference Paper %1 DBLP:conf/iccs/OhrstromSP10 %A Øhrstrøm, Peter %A Schärfe, Henrik %A Ploug, Thomas %B Proceedings of the 18th International Conference on Conceptual Structures (ICCS 2010) %D 2010 %E Croitoru, Madalina %E Ferré, Sébastien %E Lukose, Dickson %I Springer %K 2010 conceptual iccs structure time %P 125-138 %T Branching Time as a Conceptual Structure %V 6208 %@ 978-3-642-14196-6

@inproceedings{DBLP:conf/iccs/OhrstromSP10, added-at = {2012-11-01T16:07:55.000+0100}, author = {{\O}hrstr{\o}m, Peter and Sch{\"a}rfe, Henrik and Ploug, Thomas}, bibsource = {DBLP, http://dblp.uni-trier.de}, biburl = {https://www.bibsonomy.org/bibtex/20c781854e2797e56483dc047d9b38617/iccs}, booktitle = {Proceedings of the 18th International Conference on Conceptual Structures (ICCS 2010)}, crossref = {DBLP:conf/iccs/2010}, editor = {Croitoru, Madalina and Ferr{\'e}, S{\'e}bastien and Lukose, Dickson}, ee = {http://dx.doi.org/10.1007/978-3-642-14197-3_14}, interhash = {edc820eb27150cdcd5644ca4d8f25cd8}, intrahash = {0c781854e2797e56483dc047d9b38617}, isbn = {978-3-642-14196-6}, keywords = {2010 conceptual iccs structure time}, pages = {125-138}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2012-11-01T16:07:57.000+0100}, title = {Branching Time as a Conceptual Structure}, volume = 6208, year = 2010 }