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]
@inproceedings{Estivill-CastroH13-0,
title = {Arrangements of Finite-state Machines - Semantics, Simulation, and Model Checking},
author = {Vladimir Estivill-Castro and René Hexel},
year = {2013},
doi = {10.5220/0004317101820189},
url = {http://dx.doi.org/10.5220/0004317101820189},
researchr = {https://researchr.org/publication/Estivill-CastroH13-0},
cites = {0},
citedby = {0},
pages = {182-189},
booktitle = {MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19 - 21 February, 2013},
editor = {Slimane Hammoudi and Luís Ferreira Pires and Joaquim Filipe and Rui César das Neves},
publisher = {SciTePress},
isbn = {978-989-8565-42-6},
}