00517nam a22001575i 4500 34177 34177 140606s2014 nyu 000 0 eng 9783319089140 (soft cover : alk. paper) Models@run.time : foundations, applications, and roadmaps / [edited by] Nelly Bencomo, Robert France, Betty H.C. Cheng. 1st edition. New York Springer Cham x,318p.: State-of-the-Art Survey BENCOMO, Nelly FRANCE, Robert BK 0 0 lcc 0 0 NFIC MAIN MAIN OOWR 2020-02-14 GFT 0 QA 76.76 .D47M56 2014 0042245 2020-02-14 00:00:00 2 BK 0 0 lcc 0 0 NFIC MAIN MAIN OOWR 2020-02-14 GFT 0 QA 76.76 .D47M56 2014 0042246 2020-02-14 00:00:00 2 BK