Proceedings-Artikel
On the Architecture of System Verification Environments
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. Pages 153-168, LNCS, Vol. 4899, Springer, 10/2007.