%0 Conference Paper %1 conf/tacs/PnueliS91 %A Pnueli, Amir %A Shalev, M. %B TACS %D 1991 %E Ito, Takayasu %E Meyer, Albert R. %I Springer %K dblp %P 244-264 %T What is in a Step: On the Semantics of Statecharts. %U http://dblp.uni-trier.de/db/conf/tacs/tacs91.html#PnueliS91 %V 526 %@ 3-540-54415-1

@inproceedings{conf/tacs/PnueliS91, added-at = {2017-05-20T00:00:00.000+0200}, author = {Pnueli, Amir and Shalev, M.}, biburl = {https://www.bibsonomy.org/bibtex/2be716990981d8039704e1d1e1c496ec8/dblp}, booktitle = {TACS}, crossref = {conf/tacs/1991}, editor = {Ito, Takayasu and Meyer, Albert R.}, ee = {https://doi.org/10.1007/3-540-54415-1_49}, interhash = {cd856c6afd85525f3d0dd8f5013ae264}, intrahash = {be716990981d8039704e1d1e1c496ec8}, isbn = {3-540-54415-1}, keywords = {dblp}, pages = {244-264}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:16:18.000+0200}, title = {What is in a Step: On the Semantics of Statecharts.}, url = {http://dblp.uni-trier.de/db/conf/tacs/tacs91.html#PnueliS91}, volume = 526, year = 1991 }