@article{706547,
      note = {International conference proceedings.},
      author = {Bensalem, Saddek, and Lakhnech, Y. and Legay, Axel, and  Sifakis, J.},
      url = {http://library.usi.edu/record/706547},
      title = {From programs to systems - the systems perspective in  computing ETAPS Workshop, FPS 2014, in honor of Joseph  Sifakis, Grenoble, France, April 6, 2014, proceedings /  [electronic resource] :. FPS (Workshop)},
      doi = {https://doi.org/10.1007/978-3-642-54848-2},
      recid = {706547},
      pages = {1 online resource (xii, 277 pages) :},
}