A Virtual Environment for Collaborative Engineering with Formal Verification

@inproceedings{pub7086,
    author = {

Herget, Wolfgang
 and 

Krauß, Christopher
 and 

Nonnengart, Andreas
 and 

Spieldenner, Torsten
 and 

Warwas, Stefan
 and 

Zinnikus, Ingo
},
    editor = {

Bil, C.
 and 

al., et
},
    title = {A Virtual Environment for Collaborative Engineering with Formal Verification},
    booktitle = {Proceedings of the 20th ISPE International Conference on Concurrent Engineering. ISPE International Conference on Concurrent Engineering (CE-13), 20th, September 2-6, Melbourne, VIC, Australia},
    year = {2013},
    publisher = {IOS Press}
}