Kevin Lano, David Clark. Semantics and Refinement of Behavior State Machines. In José Cordeiro, Joaquim Filipe, editors, ICEIS 2008 - Proceedings of the Tenth International Conference on Enterprise Information Systems, Volume ISAS-1, Barcelona, Spain, June 12-16, 2008. pages 42-49, 2008.
@inproceedings{LanoC08, title = {Semantics and Refinement of Behavior State Machines}, author = {Kevin Lano and David Clark}, year = {2008}, tags = {semantics, refinement, state machines}, researchr = {https://researchr.org/publication/LanoC08}, cites = {0}, citedby = {0}, pages = {42-49}, booktitle = {ICEIS 2008 - Proceedings of the Tenth International Conference on Enterprise Information Systems, Volume ISAS-1, Barcelona, Spain, June 12-16, 2008}, editor = {José Cordeiro and Joaquim Filipe}, isbn = {978-989-8111-38-8}, }