Vladimir Estivill-Castro, René Hexel. Arrangements of Finite-state Machines - Semantics, Simulation, and Model Checking. In Slimane Hammoudi, Luís Ferreira Pires, Joaquim Filipe, Rui César das Neves, editors, MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19 - 21 February, 2013. pages 182-189, SciTePress, 2013. [doi]
Abstract is missing.