BibTeX record conf/tgc/HaddadHM13

• > Home > conf/tgc/HaddadHM13

@inproceedings{DBLP:conf/tgc/HaddadHM13,
  author       = {Serge Haddad and
                  Rolf Hennicker and
                  Mikael H. M{\o}ller},
  editor       = {Mart{\'{\i}}n Abadi and
                  Alberto Lluch{-}Lafuente},
  title        = {Specification of Asynchronous Component Systems with Modal I/O-Petri
                  Nets},
  booktitle    = {Trustworthy Global Computing - 8th International Symposium, {TGC}
                  2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8358},
  pages        = {219--234},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-05119-2\_13},
  doi          = {10.1007/978-3-319-05119-2\_13},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/tgc/HaddadHM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}