BibTeX record conf/dagstuhl/NicolPNU06

download as .bib file

@inproceedings{DBLP:conf/dagstuhl/NicolPNU06,
  author       = {David M. Nicol and
                  Corrado Priami and
                  Hanne Riis Nielson and
                  Adelinde M. Uhrmacher},
  editor       = {David M. Nicol and
                  Corrado Priami and
                  Hanne Riis Nielson and
                  Adelinde M. Uhrmacher},
  title        = {06161 Abstracts Collection -- Simulation and Verification of Dynamic
                  Systems},
  booktitle    = {Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {06161},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2006},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2006/710},
  timestamp    = {Thu, 10 Jun 2021 13:02:10 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/NicolPNU06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics