000 00517nam a22001575i 4500
999 _c34177
_d34177
008 140606s2014 nyu 000 0 eng
020 _a9783319089140 (soft cover : alk. paper)
245 0 0 _aModels@run.time :
_bfoundations, applications, and roadmaps /
_c[edited by] Nelly Bencomo, Robert France, Betty H.C. Cheng.
250 _a1st edition.
260 _aNew York
_bSpringer Cham
300 _ax,318p.:
440 _aState-of-the-Art Survey
700 _aBENCOMO, Nelly
700 _aFRANCE, Robert
942 _cBK