Tool support for formal system verification

Cite

Citation style:
Müller Dipl. Inf., M., Pacholik Dr.-Ing., A., habil., F.Univ.-Prof.Dr.-Ing., 2007. Tool support for formal system verification. Computer science meets automation: 52. IWK, Internationales Wissenschaftliches Kolloquium ; proceedings ; 10 - 13 September 2007; Volume II, Computer science meets automation: 52. IWK, Internationales Wissenschaftliches Kolloquium ; proceedings ; 10 - 13 September 2007; Volume II 52, 2007, Vol. 2, 137–142.
Could not load citation form. Default citation form is displayed.

Rights

Use and reproduction:
All rights reserved

Export