@inproceedings{ dblp1759849,
  title = {PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems},
  author = {Étienne André and Yang Liu 0003 and Jun Sun 0001 and Jin Song Dong and Shang-Wei Lin},
  author_short = {André, É. and Liu 0003, Y. and Sun 0001, J. and Song Dong, J. and Lin, S.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2013},
  key = {dblp1759849},
  id = {dblp1759849},
  biburl = {http://www.dblp.org/rec/bibtex/conf/cav/AndreLSDL13},
  url = {http://dx.doi.org/10.1007/978-3-642-39799-8_70},
  conference = {CAV},
  pages = {984-989},
  text = {CAV 2013:984-989},
  booktitle = {Proceedings of Computer Aided Verification (CAV)}
}

{"_id":"uogimNdbmeYY6QLAq","authorIDs":["54cf20e291c843ab6e000447"],"author_short":["André, É.","Liu 0003, Y.","Sun 0001, J.","Song Dong, J.","Lin, S."],"bibbaseid":"andr-liu0003-sun0001-songdong-lin-psyhcosparametersynthesisforhierarchicalconcurrentrealtimesystems-2013","bibdata":{"title":"PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems","author":["Étienne André","Yang Liu 0003","Jun Sun 0001","Jin Song Dong","Shang-Wei Lin"],"author_short":["André, É.","Liu 0003, Y.","Sun 0001, J.","Song Dong, J.","Lin, S."],"bibtype":"inproceedings","type":"inproceedings","year":"2013","key":"dblp1759849","id":"dblp1759849","biburl":"http://www.dblp.org/rec/bibtex/conf/cav/AndreLSDL13","url":"http://dx.doi.org/10.1007/978-3-642-39799-8_70","conference":"CAV","pages":"984-989","text":"CAV 2013:984-989","booktitle":"Proceedings of Computer Aided Verification (CAV)","bibtex":"@inproceedings{ dblp1759849,\n title = {PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems},\n author = {Étienne André and Yang Liu 0003 and Jun Sun 0001 and Jin Song Dong and Shang-Wei Lin},\n author_short = {André, É. and Liu 0003, Y. and Sun 0001, J. and Song Dong, J. and Lin, S.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2013},\n key = {dblp1759849},\n id = {dblp1759849},\n biburl = {http://www.dblp.org/rec/bibtex/conf/cav/AndreLSDL13},\n url = {http://dx.doi.org/10.1007/978-3-642-39799-8_70},\n conference = {CAV},\n pages = {984-989},\n text = {CAV 2013:984-989},\n booktitle = {Proceedings of Computer Aided Verification (CAV)}\n}","bibbaseid":"andr-liu0003-sun0001-songdong-lin-psyhcosparametersynthesisforhierarchicalconcurrentrealtimesystems-2013","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-642-39799-8_70"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/cav/AndreLSDL13","creationDate":"2015-02-02T07:01:54.613Z","downloads":0,"keywords":[],"search_terms":["psyhcos","parameter","synthesis","hierarchical","concurrent","real","time","systems","andré","liu 0003","sun 0001","song dong","lin"],"title":"PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems","year":2013,"dataSources":["K6jWLDZp3X4W25wTT"]}