A Relational Notation for State Transition Systems. Lam, S. S. & Shankar, A. U. IEEE Trans. Software Eng., 16(7):755-775, 1990.
A Relational Notation for State Transition Systems. [link]Link  A Relational Notation for State Transition Systems. [link]Paper  bibtex   
@article{journals/tse/LamS90,
  added-at = {2015-12-10T00:00:00.000+0100},
  author = {Lam, Simon S. and Shankar, A. Udaya},
  biburl = {http://www.bibsonomy.org/bibtex/2a503d8d00813e795a7b465220b686939/dblp},
  ee = {http://doi.ieeecomputersociety.org/10.1109/32.56101},
  interhash = {8227750ad67c2cbffb7e79579758bcff},
  intrahash = {a503d8d00813e795a7b465220b686939},
  journal = {IEEE Trans. Software Eng.},
  keywords = {dblp},
  number = 7,
  pages = {755-775},
  timestamp = {2015-12-12T11:46:22.000+0100},
  title = {A Relational Notation for State Transition Systems.},
  url = {http://dblp.uni-trier.de/db/journals/tse/tse16.html#LamS90},
  volume = 16,
  year = 1990
}

Downloads: 0