BibTeX record conf/models/SchamaiHFP10

• > Home > conf/models/SchamaiHFP10

@inproceedings{DBLP:conf/models/SchamaiHFP10,
  author       = {Wladimir Schamai and
                  Philipp Helle and
                  Peter Fritzson and
                  Christiaan J. J. Paredis},
  editor       = {J{\"{u}}rgen Dingel and
                  Arnor Solberg},
  title        = {Virtual Verification of System Designs against System Requirements},
  booktitle    = {Models in Software Engineering - Workshops and Symposia at {MODELS}
                  2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6627},
  pages        = {75--89},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-21210-9\_8},
  doi          = {10.1007/978-3-642-21210-9\_8},
  timestamp    = {Wed, 23 Feb 2022 12:58:06 +0100},
  biburl       = {https://dblp.org/rec/conf/models/SchamaiHFP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}