A Relational Notation for State Transition Systems. Lam, S. S. & Shankar, A. U. IEEE Trans. Software Eng., 16(7):755-775, 1990. 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
{"_id":"qN8vayHjHwgXZhpdy","bibbaseid":"lam-shankar-arelationalnotationforstatetransitionsystems-1990","downloads":0,"creationDate":"2016-02-03T13:02:29.370Z","title":"A Relational Notation for State Transition Systems.","author_short":["Lam, S. S.","Shankar, A. U."],"year":1990,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/simon steyskal?items=1000","bibdata":{"bibtype":"article","type":"article","added-at":"2015-12-10T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Lam"],"firstnames":["Simon","S."],"suffixes":[]},{"propositions":[],"lastnames":["Shankar"],"firstnames":["A.","Udaya"],"suffixes":[]}],"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","bibtex":"@article{journals/tse/LamS90,\n added-at = {2015-12-10T00:00:00.000+0100},\n author = {Lam, Simon S. and Shankar, A. Udaya},\n biburl = {http://www.bibsonomy.org/bibtex/2a503d8d00813e795a7b465220b686939/dblp},\n ee = {http://doi.ieeecomputersociety.org/10.1109/32.56101},\n interhash = {8227750ad67c2cbffb7e79579758bcff},\n intrahash = {a503d8d00813e795a7b465220b686939},\n journal = {IEEE Trans. Software Eng.},\n keywords = {dblp},\n number = 7,\n pages = {755-775},\n timestamp = {2015-12-12T11:46:22.000+0100},\n title = {A Relational Notation for State Transition Systems.},\n url = {http://dblp.uni-trier.de/db/journals/tse/tse16.html#LamS90},\n volume = 16,\n year = 1990\n}\n\n","author_short":["Lam, S. S.","Shankar, A. U."],"key":"journals/tse/LamS90","id":"journals/tse/LamS90","bibbaseid":"lam-shankar-arelationalnotationforstatetransitionsystems-1990","role":"author","urls":{"Link":"http://doi.ieeecomputersociety.org/10.1109/32.56101","Paper":"http://dblp.uni-trier.de/db/journals/tse/tse16.html#LamS90"},"keyword":["dblp"],"downloads":0},"search_terms":["relational","notation","state","transition","systems","lam","shankar"],"keywords":["dblp"],"authorIDs":[],"dataSources":["qcMBJkGk4FzM4bdJY"]}