Arrangements of Finite-state Machines - Semantics, Simulation, and Model Checking

@inproceedings{EstivillCastro2013ArrangementsOF,
  title={Arrangements of Finite-state Machines - Semantics, Simulation, and Model Checking},
  author={Vladimir Estivill-Castro and Ren{\'e} Hexel},
  booktitle={MODELSWARD},
  year={2013}
}