@Inproceedings{EPTCS124.2, author = {Wisniewski, Rafael}, year = {2013}, title = {Combinatorial Abstractions of Dynamical Systems}, editor = {Bortolussi, Luca and Bujorianu, Manuela L. and Pola, Giordano}, booktitle = {{\rm Proceedings Third International Workshop on} Hybrid Autonomous Systems, {\rm Rome, 17th March 2013}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {124}, publisher = {Open Publishing Association}, pages = {5-8}, doi = {10.4204/EPTCS.124.2}, }