@InProceedings{brard_et_al:LIPIcs:2018:9693,
  author ={B{\'e}atrice B{\'e}rard and Patricia Bouyer and Vincent Jug{\'e}},
  title ={{Finite Bisimulations for Dynamical Systems with Overlapping Trajectories}},
  booktitle ={27th EACSL Annual Conference on Computer Science Logic  (CSL 2018)},
  pages ={26:1--26:17},
  series ={Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN ={978-3-95977-088-0},
  ISSN ={1868-8969},
  year ={2018},
  volume ={119},
  editor ={Dan Ghica and Achim Jung},
  publisher ={Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address ={Dagstuhl, Germany},
  URL ={http://drops.dagstuhl.de/opus/volltexte/2018/9693},
  URN ={urn:nbn:de:0030-drops-96932},
  doi ={10.4230/LIPIcs.CSL.2018.26},
  annote ={Keywords: Reachability properties, dynamical systems, o-minimal structures, intersecting trajectories, finite bisimulations}
}