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},
  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},
  pages     = {43--55},
  year      = {2009},
  crossref  = {DBLP:conf/ershov/2009},
  url       = {https://doi.org/10.1007/978-3-642-11486-1\_4},
  doi       = {10.1007/978-3-642-11486-1\_4},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ershov/CohenABDDHLLMOPPPSSSSSTTT09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ershov/2009,
  editor    = {Amir Pnueli and
               Irina Virbitskaite and
               Andrei Voronkov},
  title     = {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},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-11486-1},
  doi       = {10.1007/978-3-642-11486-1},
  isbn      = {978-3-642-11485-4},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ershov/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics