TY - RPRT TI - Combinatorial Abstractions of Dynamical Systems AU - Rafael Wisniewski PY - 2013 DO - 10.4204/eptcs.124.2 UR - https://arxiv.org/abs/1308.5330 ID - 1308.5330 ER -