@inproceedings{conf/isorc/WangTBGI00,
  added-at = {2014-10-06T00:00:00.000+0200},
  author = {Wang, Yunming and Talpin, Jean-Pierre and Benveniste, Albert and Guernic, Paul Le},
  biburl = {http://www.bibsonomy.org/bibtex/2a78f8b525246745bfe5dc390260f0c29/dblp},
  booktitle = {ISORC},
  crossref = {conf/isorc/2000},
  ee = {http://doi.ieeecomputersociety.org/10.1109/ISORC.2000.839516},
  interhash = {3fcdec0671c2d431d7a64ea7966d51a3},
  intrahash = {a78f8b525246745bfe5dc390260f0c29},
  isbn = {0-7695-0607-0},
  keywords = {dblp},
  pages = {96-103},
  publisher = {IEEE Computer Society},
  timestamp = {2015-06-19T01:13:29.000+0200},
  title = {A Semantics of UML State-Machines Using Synchronous Pre-Order Transition Systems.},
  url = {http://dblp.uni-trier.de/db/conf/isorc/isorc2000.html#WangTBGI00},
  year = 2000
}

{"_id":"CD67QdisMdriWY6Wf","bibbaseid":"wang-talpin-benveniste-guernic-asemanticsofumlstatemachinesusingsynchronouspreordertransitionsystems-2000","downloads":0,"creationDate":"2016-09-14T11:41:42.962Z","title":"A Semantics of UML State-Machines Using Synchronous Pre-Order Transition Systems.","author_short":["Wang, Y.","Talpin, J.","Benveniste, A.","Guernic, P. L."],"year":2000,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/guernic?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2014-10-06T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Wang"],"firstnames":["Yunming"],"suffixes":[]},{"propositions":[],"lastnames":["Talpin"],"firstnames":["Jean-Pierre"],"suffixes":[]},{"propositions":[],"lastnames":["Benveniste"],"firstnames":["Albert"],"suffixes":[]},{"propositions":[],"lastnames":["Guernic"],"firstnames":["Paul","Le"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/2a78f8b525246745bfe5dc390260f0c29/dblp","booktitle":"ISORC","crossref":"conf/isorc/2000","ee":"http://doi.ieeecomputersociety.org/10.1109/ISORC.2000.839516","interhash":"3fcdec0671c2d431d7a64ea7966d51a3","intrahash":"a78f8b525246745bfe5dc390260f0c29","isbn":"0-7695-0607-0","keywords":"dblp","pages":"96-103","publisher":"IEEE Computer Society","timestamp":"2015-06-19T01:13:29.000+0200","title":"A Semantics of UML State-Machines Using Synchronous Pre-Order Transition Systems.","url":"http://dblp.uni-trier.de/db/conf/isorc/isorc2000.html#WangTBGI00","year":"2000","bibtex":"@inproceedings{conf/isorc/WangTBGI00,\n added-at = {2014-10-06T00:00:00.000+0200},\n author = {Wang, Yunming and Talpin, Jean-Pierre and Benveniste, Albert and Guernic, Paul Le},\n biburl = {http://www.bibsonomy.org/bibtex/2a78f8b525246745bfe5dc390260f0c29/dblp},\n booktitle = {ISORC},\n crossref = {conf/isorc/2000},\n ee = {http://doi.ieeecomputersociety.org/10.1109/ISORC.2000.839516},\n interhash = {3fcdec0671c2d431d7a64ea7966d51a3},\n intrahash = {a78f8b525246745bfe5dc390260f0c29},\n isbn = {0-7695-0607-0},\n keywords = {dblp},\n pages = {96-103},\n publisher = {IEEE Computer Society},\n timestamp = {2015-06-19T01:13:29.000+0200},\n title = {A Semantics of UML State-Machines Using Synchronous Pre-Order Transition Systems.},\n url = {http://dblp.uni-trier.de/db/conf/isorc/isorc2000.html#WangTBGI00},\n year = 2000\n}\n\n","author_short":["Wang, Y.","Talpin, J.","Benveniste, A.","Guernic, P. L."],"key":"conf/isorc/WangTBGI00","id":"conf/isorc/WangTBGI00","bibbaseid":"wang-talpin-benveniste-guernic-asemanticsofumlstatemachinesusingsynchronouspreordertransitionsystems-2000","role":"author","urls":{"Link":"http://doi.ieeecomputersociety.org/10.1109/ISORC.2000.839516","Paper":"http://dblp.uni-trier.de/db/conf/isorc/isorc2000.html#WangTBGI00"},"keyword":["dblp"],"downloads":0,"html":""},"search_terms":["semantics","uml","state","machines","using","synchronous","pre","order","transition","systems","wang","talpin","benveniste","guernic"],"keywords":["dblp"],"authorIDs":[],"dataSources":["Q4AxEyCiwhuEHt7Ey"]}