BibTeX record conf/ershov/CohenABDDHLLMOPPPSSSSSTTT09

download as .bib file

@inproceedings{DBLP:conf/ershov/CohenABDDHLLMOPPPSSSSSTTT09,
  author       = {Ernie Cohen and
                  Eyad Alkassar and
                  Vladimir Boyarinov and
                  Markus Dahlweid and
                  Ulan Degenbaev and
                  Mark A. Hillebrand and
                  Bruno Langenstein and
                  Dirk Leinenbach and
                  Michal Moskal and
                  Steven Obua and
                  Wolfgang J. Paul and
                  Hristo Pentchev and
                  Elena Petrova and
                  Thomas Santen and
                  Norbert Schirmer and
                  Sabine Schmaltz and
                  Wolfram Schulte and
                  Andrey Shadrin and
                  Stephan Tobies and
                  Alexandra Tsyban and
                  Sergey Tverdyshev},
  editor       = {Amir Pnueli and
                  Irina B. Virbitskaite and
                  Andrei Voronkov},
  title        = {Invariants, Modularity, and Rights},
  booktitle    = {Perspectives of Systems Informatics, 7th International Andrei Ershov
                  Memorial Conference, {PSI} 2009, Novosibirsk, Russia, June 15-19,
                  2009. Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5947},
  pages        = {43--55},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-11486-1\_4},
  doi          = {10.1007/978-3-642-11486-1\_4},
  timestamp    = {Mon, 16 Dec 2019 13:26:25 +0100},
  biburl       = {https://dblp.org/rec/conf/ershov/CohenABDDHLLMOPPPSSSSSTTT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics