Publikation
Mark Hillebrand; Wolfgang Paul
In: Karen Yorav (Hrsg.). Hardware and Software, Verification and Testing, Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23--25, 2007. International Haifa Verification Conference (HVC), Pages 153-168, LNCS, Vol. 4899, Springer, 10/2007.
@inproceedings{pub3028, author = { Hillebrand, Mark and Paul, Wolfgang }, editor = { Yorav, Karen }, title = {On the Architecture of System Verification Environments}, booktitle = {Hardware and Software, Verification and Testing, Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23--25, 2007. International Haifa Verification Conference (HVC)}, series = {LNCS}, year = {2007}, month = {10}, volume = {4899}, pages = {153--168}, publisher = {Springer} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023