Paper: On the Formal Semantics of Statecharts (Extended Abstract) (at LICS 1987)
Authors: D. Harel A. Pnueli J. P. Schmidt R. ShermanAbstract
No Abstract Available
BibTeX
@InProceedings{HarelPnueliSchmidtS-OntheFormalSemantic, author = {D. Harel and A. Pnueli and J. P. Schmidt and R. Sherman}, title = {On the Formal Semantics of Statecharts (Extended Abstract)}, booktitle = {Proceedings of the Second Annual IEEE Symp. on Logic in Computer Science, {LICS} 1987}, year = 1987, editor = {David Gries}, month = {June}, pages = {54--64}, location = {Ithaca, NY, USA}, publisher = {IEEE Computer Society Press} }