Distributed Behavioral Cartography of Timed Automata

Étienne André, Camille Coti, Sami Evangelista. Distributed Behavioral Cartography of Timed Automata. In Jack Dongarra, Yutaka Ishikawa, Atsushi Hori, editors, 21st European MPI Users' Group Meeting, EuroMPI/ASIA '14, Kyoto, Japan - September 09 - 12, 2014. pages 109, ACM, 2014. [doi]

@inproceedings{AndreCE14,
  title = {Distributed Behavioral Cartography of Timed Automata},
  author = {Étienne André and Camille Coti and Sami Evangelista},
  year = {2014},
  doi = {10.1145/2642769.2642784},
  url = {http://doi.acm.org/10.1145/2642769.2642784},
  researchr = {https://researchr.org/publication/AndreCE14},
  cites = {0},
  citedby = {0},
  pages = {109},
  booktitle = {21st European MPI Users' Group Meeting, EuroMPI/ASIA '14, Kyoto, Japan - September 09 - 12, 2014},
  editor = {Jack Dongarra and Yutaka Ishikawa and Atsushi Hori},
  publisher = {ACM},
  isbn = {978-1-4503-2875-3},
}