@article{ dblp1709395,
  title = {Parameter synthesis for hierarchical concurrent real-time systems},
  author = {Étienne André and Yang Liu 0003 and Jun Sun 0001 and Jin Song Dong},
  author_short = {André, É. and Liu 0003, Y. and Sun 0001, J. and Song Dong, J.},
  bibtype = {article},
  type = {article},
  year = {2014},
  key = {dblp1709395},
  id = {dblp1709395},
  biburl = {http://www.dblp.org/rec/bibtex/journals/rts/Andre00D14},
  url = {http://dx.doi.org/10.1007/s11241-014-9208-6},
  journal = {Real-Time Systems (RTS)},
  pages = {620-679},
  number = {5-6},
  volume = {50},
  text = {Real-Time Systems (RTS) 50(5-6):620-679 (2014)}
}

{"_id":"QJsjeFeZxLesDtEGf","authorIDs":[],"author_short":["André, É.","Liu 0003, Y.","Sun 0001, J.","Song Dong, J."],"bibbaseid":"andr-liu0003-sun0001-songdong-parametersynthesisforhierarchicalconcurrentrealtimesystems-2014","bibdata":{"title":"Parameter synthesis for hierarchical concurrent real-time systems","author":["Étienne André","Yang Liu 0003","Jun Sun 0001","Jin Song Dong"],"author_short":["André, É.","Liu 0003, Y.","Sun 0001, J.","Song Dong, J."],"bibtype":"article","type":"article","year":"2014","key":"dblp1709395","id":"dblp1709395","biburl":"http://www.dblp.org/rec/bibtex/journals/rts/Andre00D14","url":"http://dx.doi.org/10.1007/s11241-014-9208-6","journal":"Real-Time Systems (RTS)","pages":"620-679","number":"5-6","volume":"50","text":"Real-Time Systems (RTS) 50(5-6):620-679 (2014)","bibtex":"@article{ dblp1709395,\n title = {Parameter synthesis for hierarchical concurrent real-time systems},\n author = {Étienne André and Yang Liu 0003 and Jun Sun 0001 and Jin Song Dong},\n author_short = {André, É. and Liu 0003, Y. and Sun 0001, J. and Song Dong, J.},\n bibtype = {article},\n type = {article},\n year = {2014},\n key = {dblp1709395},\n id = {dblp1709395},\n biburl = {http://www.dblp.org/rec/bibtex/journals/rts/Andre00D14},\n url = {http://dx.doi.org/10.1007/s11241-014-9208-6},\n journal = {Real-Time Systems (RTS)},\n pages = {620-679},\n number = {5-6},\n volume = {50},\n text = {Real-Time Systems (RTS) 50(5-6):620-679 (2014)}\n}","bibbaseid":"andr-liu0003-sun0001-songdong-parametersynthesisforhierarchicalconcurrentrealtimesystems-2014","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/s11241-014-9208-6"},"downloads":0},"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/rts/Andre00D14","creationDate":"2015-02-02T07:01:54.571Z","downloads":0,"keywords":[],"search_terms":["parameter","synthesis","hierarchical","concurrent","real","time","systems","andré","liu 0003","sun 0001","song dong"],"title":"Parameter synthesis for hierarchical concurrent real-time systems","year":2014,"dataSources":["NcssDSKePASnBjv4p"]}