BibTeX record conf/soco/HeeSW10

• > Home > conf/soco/HeeSW10

@inproceedings{DBLP:conf/soco/HeeSW10,
  author       = {Kees M. van Hee and
                  Natalia Sidorova and
                  Jan Martijn E. M. van der Werf},
  editor       = {Benoit Baudry and
                  Eric Wohlstadter},
  title        = {Construction of Asynchronous Communicating Systems: Weak Termination
                  Guaranteed!},
  booktitle    = {Software Composition - 9th International Conference, SC@TOOLS 2010,
                  Malaga, Spain, July 1-2, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6144},
  pages        = {106--121},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14046-4\_8},
  doi          = {10.1007/978-3-642-14046-4\_8},
  timestamp    = {Mon, 01 May 2023 13:01:41 +0200},
  biburl       = {https://dblp.org/rec/conf/soco/HeeSW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}