%0 Conference Paper %1 conf/ispe/HergetKNSWZ13 %A Herget, Wolfgang %A Krauß, Christopher %A Nonnengart, Andreas %A Spieldenner, Torsten %A Warwas, Stefan %A Zinnikus, Ingo %B ISPE CE %D 2013 %E Bil, Cees %E Mo, John P. T. %E Stjepandic, Josip %I IOS Press %K %P 225-234 %T A Virtual Environment for Collaborative Engineering with Formal Verification. %U http://dblp.uni-trier.de/db/conf/ispe/ispe2013.html#HergetKNSWZ13 %@ 978-1-61499-302-5

@inproceedings{conf/ispe/HergetKNSWZ13, added-at = {2023-12-12T18:28:52.000+0100}, author = {Herget, Wolfgang and Krauß, Christopher and Nonnengart, Andreas and Spieldenner, Torsten and Warwas, Stefan and Zinnikus, Ingo}, biburl = {https://www.bibsonomy.org/bibtex/2fd83c2f9766224864c35c3cb45bae0e6/admin}, booktitle = {ISPE CE}, crossref = {conf/ispe/2013}, editor = {Bil, Cees and Mo, John P. T. and Stjepandic, Josip}, ee = {http://dx.doi.org/10.3233/978-1-61499-302-5-225}, interhash = {12e0e6f897fb65d4b94a4cea79098123}, intrahash = {fd83c2f9766224864c35c3cb45bae0e6}, isbn = {978-1-61499-302-5}, keywords = {}, pages = {225-234}, publisher = {IOS Press}, timestamp = {2023-12-12T18:28:52.000+0100}, title = {A Virtual Environment for Collaborative Engineering with Formal Verification.}, url = {http://dblp.uni-trier.de/db/conf/ispe/ispe2013.html#HergetKNSWZ13}, year = 2013 }