@inproceedings{ dblp1759849,
  title = {PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems},
  author = {Étienne André and Yang Liu and Jun Sun and Jin Song Dong and Shang-Wei Lin},
  author_short = {André, É. and Liu, Y. and Sun, J. and Song Dong, J. and Lin, S.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2013},
  key = {dblp1759849},
  id = {dblp1759849},
  url_paper = {http://people.sutd.edu.sg/~sunjun/Publications/cav2013.pdf},
  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":"giSfapphHvMPLZb2n","authorIDs":["54cf93fc91c843ab6e00058a"],"author_short":["André, É.","Liu, Y.","Sun, J.","Dong, J.<nbsp>S.","Lin, S."],"bibbaseid":"andr-liu-sun-dong-lin-psyhcosparametersynthesisforhierarchicalconcurrentrealtimesystems-2013","bibdata":{"author":["André, Étienne","Liu, Yang","Sun, Jun","Dong, Jin Song","Lin, Shang-Wei"],"author_short":["André, É.","Liu, Y.","Sun, J.","Dong, J.<nbsp>S.","Lin, S."],"bibtex":"@inproceedings{ dblp1759849,\n title = {PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems},\n author = {Étienne André and Yang Liu and Jun Sun and Jin Song Dong and Shang-Wei Lin},\n author_short = {André, É. and Liu, Y. and Sun, J. and Song Dong, J. and Lin, S.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2013},\n key = {dblp1759849},\n id = {dblp1759849},\n url_paper = {http://people.sutd.edu.sg/~sunjun/Publications/cav2013.pdf},\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}","bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/cav/AndreLSDL13","booktitle":"Proceedings of Computer Aided Verification (CAV)","conference":"CAV","id":"dblp1759849","key":"dblp1759849","pages":"984-989","text":"CAV 2013:984-989","title":"PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems","type":"inproceedings","url":"http://dx.doi.org/10.1007/978-3-642-39799-8_70","url_paper":"http://people.sutd.edu.sg/~sunjun/Publications/cav2013.pdf","year":"2013","bibbaseid":"andr-liu-sun-dong-lin-psyhcosparametersynthesisforhierarchicalconcurrentrealtimesystems-2013","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-642-39799-8_70"," paper":"http://people.sutd.edu.sg/~sunjun/Publications/cav2013.pdf"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://people.sutd.edu.sg/~sunjun/Publications/mine.bib","creationDate":"2015-02-02T15:13:00.804Z","downloads":0,"keywords":[],"search_terms":["psyhcos","parameter","synthesis","hierarchical","concurrent","real","time","systems","andré","liu","sun","dong","lin"],"title":"PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems","year":2013,"dataSources":["mpMYjTrc4gjXaNRQh"]}