@inproceedings{ACE14,
	author = {Andr{\'e}, {\'E}tienne and Coti, Camille and Evangelista, Sami},
	title = {Distributed Behavioral Cartography of Timed Automata},
	booktitle = {21st European {MPI} Users' Group Meeting ({EuroMPI/ASIA'14})},
	doi = {10.1145/2642769.2642784},
	editor = {Dongarra, Jack and Ishikawa, Yutaka and Atsushi, Hori},
	location = {Kyoto, Japan},
	month = sep,
	publisher = {ACM},
	year = {2014},
}