@inproceedings{ conf/ftcs/RobinsonS92,
  added-at = {2015-08-17T00:00:00.000+0200},
  author = {Robinson, Scott H. and Shen, John Paul},
  biburl = {http://www.bibsonomy.org/bibtex/24ab8f4994949975ff7fbd11145cacaa7/dblp},
  booktitle = {FTCS},
  crossref = {conf/ftcs/1992},
  ee = {http://dx.doi.org/10.1109/FTCS.1992.243570},
  interhash = {9f7438cdcff528efc3344a34bb470564},
  intrahash = {4ab8f4994949975ff7fbd11145cacaa7},
  isbn = {0-8186-2875-8},
  keywords = {dblp},
  pages = {306-315},
  publisher = {IEEE Computer Society},
  title = {Direct Methods for Synthesis of Self-Monitoring State Machines.},
  url = {http://dblp.uni-trier.de/db/conf/ftcs/ftcs92.html#RobinsonS92},
  year = {1992}
}

{"_id":"BKeZZqkyLhWdrpZj6","bibbaseid":"robinson-shen-paul-directmethodsforsynthesisofselfmonitoringstatemachines-1992","downloads":0,"creationDate":"2015-09-08T15:38:35.574Z","title":"Direct Methods for Synthesis of Self-Monitoring State Machines.","author_short":["Robinson, S.<nbsp>H.","Shen","Paul, J."],"year":1992,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/john?items=1000","bibdata":{"added-at":"2015-08-17T00:00:00.000+0200","author":["Robinson, Scott H.","Shen","Paul, John"],"author_short":["Robinson, S.<nbsp>H.","Shen","Paul, J."],"bibtex":"@inproceedings{ conf/ftcs/RobinsonS92,\n added-at = {2015-08-17T00:00:00.000+0200},\n author = {Robinson, Scott H. and Shen, John Paul},\n biburl = {http://www.bibsonomy.org/bibtex/24ab8f4994949975ff7fbd11145cacaa7/dblp},\n booktitle = {FTCS},\n crossref = {conf/ftcs/1992},\n ee = {http://dx.doi.org/10.1109/FTCS.1992.243570},\n interhash = {9f7438cdcff528efc3344a34bb470564},\n intrahash = {4ab8f4994949975ff7fbd11145cacaa7},\n isbn = {0-8186-2875-8},\n keywords = {dblp},\n pages = {306-315},\n publisher = {IEEE Computer Society},\n title = {Direct Methods for Synthesis of Self-Monitoring State Machines.},\n url = {http://dblp.uni-trier.de/db/conf/ftcs/ftcs92.html#RobinsonS92},\n year = {1992}\n}","bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bibtex/24ab8f4994949975ff7fbd11145cacaa7/dblp","booktitle":"FTCS","crossref":"conf/ftcs/1992","ee":"http://dx.doi.org/10.1109/FTCS.1992.243570","id":"conf/ftcs/RobinsonS92","interhash":"9f7438cdcff528efc3344a34bb470564","intrahash":"4ab8f4994949975ff7fbd11145cacaa7","isbn":"0-8186-2875-8","key":"conf/ftcs/RobinsonS92","keywords":"dblp","pages":"306-315","publisher":"IEEE Computer Society","title":"Direct Methods for Synthesis of Self-Monitoring State Machines.","type":"inproceedings","url":"http://dblp.uni-trier.de/db/conf/ftcs/ftcs92.html#RobinsonS92","year":"1992","bibbaseid":"robinson-shen-paul-directmethodsforsynthesisofselfmonitoringstatemachines-1992","role":"author","urls":{"Link":"http://dx.doi.org/10.1109/FTCS.1992.243570","Paper":"http://dblp.uni-trier.de/db/conf/ftcs/ftcs92.html#RobinsonS92"},"keyword":["dblp"],"downloads":0},"search_terms":["direct","methods","synthesis","self","monitoring","state","machines","robinson","shen","paul"],"keywords":["dblp"],"authorIDs":[],"dataSources":["e3DPfiLXyfZxic3k2"]}