TY - GEN DO - 10.1007/978-3-642-54848-2 DO - doi T1 - From programs to systems - the systems perspective in computingETAPS Workshop, FPS 2014, in honor of Joseph Sifakis, Grenoble, France, April 6, 2014, proceedings / AU - Bensalem, Saddek, AU - Lakhnech, Y. AU - Legay, Axel, AU - Sifakis, J. VL - 8415 CN - SpringerLink CN - QA76.751 N1 - International conference proceedings. ID - 706547 KW - Computer programs KW - Computer systems SN - 9783642548482 SN - 3642548482 TI - From programs to systems - the systems perspective in computingETAPS Workshop, FPS 2014, in honor of Joseph Sifakis, Grenoble, France, April 6, 2014, proceedings / LK - https://univsouthin.idm.oclc.org/login?url=http://dx.doi.org/10.1007/978-3-642-54848-2 UR - https://univsouthin.idm.oclc.org/login?url=http://dx.doi.org/10.1007/978-3-642-54848-2 ER -