@inproceedings{ dblp2034497,
  title = {Controllers with Minimal Observation Power (Application to Timed Systems)},
  author = {Peter E. Bulychev and Franck Cassez and Alexandre David and Kim Guldstrand Larsen and Jean-François Raskin and Pierre-Alain Reynier},
  author_short = {Bulychev, P. E. and Cassez, F. and David, A. and Guldstrand Larsen, K. and Raskin, J. and Reynier, P.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2012},
  key = {dblp2034497},
  id = {dblp2034497},
  biburl = {http://www.dblp.org/rec/bibtex/conf/atva/BulychevCDLRR12},
  url = {http://dx.doi.org/10.1007/978-3-642-33386-6_19},
  conference = {ATVA},
  pages = {223-237},
  text = {ATVA 2012:223-237},
  booktitle = {Proceedings of Automated Technology for Verification and Analysis (ATVA)}
}

{"_id":"GH2fpwQmkkYxexh4W","bibbaseid":"bulychev-cassez-david-guldstrandlarsen-raskin-reynier-controllerswithminimalobservationpowerapplicationtotimedsystems-2012","downloads":0,"creationDate":"2015-03-18T10:58:01.615Z","title":"Controllers with Minimal Observation Power (Application to Timed Systems)","author_short":["Bulychev, P. E.","Cassez, F.","David, A.","Guldstrand Larsen, K.","Raskin, J.","Reynier, P."],"year":2012,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/atva/BulychevCDLRR12","bibdata":{"title":"Controllers with Minimal Observation Power (Application to Timed Systems)","author":["Peter E. Bulychev","Franck Cassez","Alexandre David","Kim Guldstrand Larsen","Jean-François Raskin","Pierre-Alain Reynier"],"author_short":["Bulychev, P. E.","Cassez, F.","David, A.","Guldstrand Larsen, K.","Raskin, J.","Reynier, P."],"bibtype":"inproceedings","type":"inproceedings","year":"2012","key":"dblp2034497","id":"dblp2034497","biburl":"http://www.dblp.org/rec/bibtex/conf/atva/BulychevCDLRR12","url":"http://dx.doi.org/10.1007/978-3-642-33386-6_19","conference":"ATVA","pages":"223-237","text":"ATVA 2012:223-237","booktitle":"Proceedings of Automated Technology for Verification and Analysis (ATVA)","bibtex":"@inproceedings{ dblp2034497,\n title = {Controllers with Minimal Observation Power (Application to Timed Systems)},\n author = {Peter E. Bulychev and Franck Cassez and Alexandre David and Kim Guldstrand Larsen and Jean-François Raskin and Pierre-Alain Reynier},\n author_short = {Bulychev, P. E. and Cassez, F. and David, A. and Guldstrand Larsen, K. and Raskin, J. and Reynier, P.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2012},\n key = {dblp2034497},\n id = {dblp2034497},\n biburl = {http://www.dblp.org/rec/bibtex/conf/atva/BulychevCDLRR12},\n url = {http://dx.doi.org/10.1007/978-3-642-33386-6_19},\n conference = {ATVA},\n pages = {223-237},\n text = {ATVA 2012:223-237},\n booktitle = {Proceedings of Automated Technology for Verification and Analysis (ATVA)}\n}","bibbaseid":"bulychev-cassez-david-guldstrandlarsen-raskin-reynier-controllerswithminimalobservationpowerapplicationtotimedsystems-2012","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-642-33386-6_19"},"downloads":0},"search_terms":["controllers","minimal","observation","power","application","timed","systems","bulychev","cassez","david","guldstrand larsen","raskin","reynier"],"keywords":[],"authorIDs":[],"dataSources":["jrjarbgTgn8LyoNh8"]}