BibTeX record conf/asm/CohenS00

download as .bib file

@inproceedings{DBLP:conf/asm/CohenS00,
  author    = {Jo{\"{e}}lle Cohen and
               Anatol Slissenko},
  editor    = {Yuri Gurevich and
               Philipp W. Kutter and
               Martin Odersky and
               Lothar Thiele},
  title     = {On Verification of Refinements of Timed Distributed Algorithms},
  booktitle = {Abstract State Machines, Theory and Applications, International Workshop,
               {ASM} 2000, Monte Verit{\`{a}}, Switzerland, March 19-24, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1912},
  pages     = {34--49},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44518-8\_4},
  doi       = {10.1007/3-540-44518-8\_4},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/conf/asm/CohenS00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics