@inproceedings{ dblp4286037,
  title = {On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract)},
  author = {Oded Maler and Amir Pnueli and Joseph Sifakis},
  author_short = {Maler, O. and Pnueli, A. and Sifakis, J.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {1995},
  key = {dblp4286037},
  id = {dblp4286037},
  biburl = {http://www.dblp.org/rec/bibtex/conf/stacs/MalerPS95},
  url = {http://dx.doi.org/10.1007/3-540-59042-0_76},
  conference = {STACS},
  pages = {229-242},
  text = {STACS 1995:229-242},
  booktitle = {Proceedings of Symposium on Theoretical Aspects of Computer Science (STACS)}
}

{"_id":"Wk7C96esMYqRASkir","bibbaseid":"maler-pnueli-sifakis-onthesynthesisofdiscretecontrollersfortimedsystemsanextendedabstract-1995","downloads":0,"creationDate":"2015-07-05T11:05:40.292Z","title":"On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract)","author_short":["Maler, O.","Pnueli, A.","Sifakis, J."],"year":1995,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/stacs/MalerPS95","bibdata":{"title":"On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract)","author":["Oded Maler","Amir Pnueli","Joseph Sifakis"],"author_short":["Maler, O.","Pnueli, A.","Sifakis, J."],"bibtype":"inproceedings","type":"inproceedings","year":"1995","key":"dblp4286037","id":"dblp4286037","biburl":"http://www.dblp.org/rec/bibtex/conf/stacs/MalerPS95","url":"http://dx.doi.org/10.1007/3-540-59042-0_76","conference":"STACS","pages":"229-242","text":"STACS 1995:229-242","booktitle":"Proceedings of Symposium on Theoretical Aspects of Computer Science (STACS)","bibtex":"@inproceedings{ dblp4286037,\n title = {On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract)},\n author = {Oded Maler and Amir Pnueli and Joseph Sifakis},\n author_short = {Maler, O. and Pnueli, A. and Sifakis, J.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {1995},\n key = {dblp4286037},\n id = {dblp4286037},\n biburl = {http://www.dblp.org/rec/bibtex/conf/stacs/MalerPS95},\n url = {http://dx.doi.org/10.1007/3-540-59042-0_76},\n conference = {STACS},\n pages = {229-242},\n text = {STACS 1995:229-242},\n booktitle = {Proceedings of Symposium on Theoretical Aspects of Computer Science (STACS)}\n}","bibbaseid":"maler-pnueli-sifakis-onthesynthesisofdiscretecontrollersfortimedsystemsanextendedabstract-1995","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/3-540-59042-0_76"},"downloads":0},"search_terms":["synthesis","discrete","controllers","timed","systems","extended","abstract","maler","pnueli","sifakis"],"keywords":[],"authorIDs":[],"dataSources":["PFMSYXiX2EYn9SBdY"]}