BibTeX record conf/fmco/FabreBBRAFKMSKYCTBBBSLMM11

• > Home > conf/fmco/FabreBBRAFKMSKYCTBBBSLMM11

@inproceedings{DBLP:conf/fmco/FabreBBRAFKMSKYCTBBBSLMM11,
  author       = {Christian Fabre and
                  Iuliana Bacivarov and
                  Ananda Basu and
                  Martino Ruggiero and
                  David Atienza and
                  Eric Flamand and
                  Jean{-}Pierre Krimm and
                  Julien Mottin and
                  Lars Schor and
                  Pratyush Kumar and
                  Hoeseok Yang and
                  Devesh B. Chokshi and
                  Lothar Thiele and
                  Saddek Bensalem and
                  Marius Bozga and
                  Luca Benini and
                  Mohamed M. Sabry and
                  Yusuf Leblebici and
                  Giovanni De Micheli and
                  Diego Melpignano},
  editor       = {Bernhard Beckert and
                  Ferruccio Damiani and
                  Frank S. de Boer and
                  Marcello M. Bonsangue},
  title        = {PRO3D, Programming for Future 3D Manycore Architectures: Project's
                  Interim Status},
  booktitle    = {Formal Methods for Components and Objects, 10th International Symposium,
                  {FMCO} 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7542},
  pages        = {277--293},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-35887-6\_15},
  doi          = {10.1007/978-3-642-35887-6\_15},
  timestamp    = {Mon, 26 Jun 2023 20:47:53 +0200},
  biburl       = {https://dblp.org/rec/conf/fmco/FabreBBRAFKMSKYCTBBBSLMM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}