Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/ictac/DechesneOW08
AU - Dechesne, Francien
AU - Orzan, Simona
AU - Wang, Yanjing
TI - Refinement of Kripke Models for Dynamics.
BT - Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings
SP - 111
EP - 125
PY - 2008//
DO - 10.1007/978-3-540-85762-4_8
UR - https://doi.org/10.1007/978-3-540-85762-4_8
ER -
