Parameter synthesis for hierarchical concurrent real-time systems. André, É., 0003, Y. L., 0001, J. S., & Dong, J. S. Real-Time Systems (RTS), 50(5-6):620-679, 2014.
Paper bibtex @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)}
}
Downloads: 0
{"_id":"Ep2d75BbXafX8nXCj","authorIDs":[],"author_short":["André, É.","0003, Y.<nbsp>L.","0001, J.<nbsp>S.","Dong, J.<nbsp>S."],"bibbaseid":"andr-0003-0001-dong-parametersynthesisforhierarchicalconcurrentrealtimesystems-2014","bibdata":{"author":["André, Étienne","0003, Yang Liu","0001, Jun Sun","Dong, Jin Song"],"author_short":["André, É.","0003, Y.<nbsp>L.","0001, J.<nbsp>S.","Dong, J.<nbsp>S."],"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}","bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/rts/Andre00D14","id":"dblp1709395","journal":"Real-Time Systems (RTS)","key":"dblp1709395","number":"5-6","pages":"620-679","text":"Real-Time Systems (RTS) 50(5-6):620-679 (2014)","title":"Parameter synthesis for hierarchical concurrent real-time systems","type":"article","url":"http://dx.doi.org/10.1007/s11241-014-9208-6","volume":"50","year":"2014","bibbaseid":"andr-0003-0001-dong-parametersynthesisforhierarchicalconcurrentrealtimesystems-2014","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/s11241-014-9208-6"},"downloads":0},"bibtype":"article","biburl":"http://people.sutd.edu.sg/~sunjun/Publications/download.bib","creationDate":"2015-02-02T07:46:12.914Z","downloads":0,"keywords":[],"search_terms":["parameter","synthesis","hierarchical","concurrent","real","time","systems","andré","0003","0001","dong"],"title":"Parameter synthesis for hierarchical concurrent real-time systems","year":2014,"dataSources":["ZtcgqYKBLHt2gfuHW"]}