BibTeX record conf/ispe/HergetKNSWZ13

• > Home > conf/ispe/HergetKNSWZ13

@inproceedings{DBLP:conf/ispe/HergetKNSWZ13,
  author       = {Wolfgang Herget and
                  Christopher Krau{\ss} and
                  Andreas Nonnengart and
                  Torsten Spieldenner and
                  Stefan Warwas and
                  Ingo Zinnikus},
  editor       = {Cees Bil and
                  John P. T. Mo and
                  Josip Stjepandic},
  title        = {A Virtual Environment for Collaborative Engineering with Formal Verification},
  booktitle    = {20th {ISPE} International Conference on Concurrent Engineering, Melbourne,
                  Australia, September 2-6, 2013},
  pages        = {225--234},
  publisher    = {{IOS} Press},
  year         = {2013},
  url          = {https://doi.org/10.3233/978-1-61499-302-5-225},
  doi          = {10.3233/978-1-61499-302-5-225},
  timestamp    = {Thu, 21 Sep 2023 11:29:58 +0200},
  biburl       = {https://dblp.org/rec/conf/ispe/HergetKNSWZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}