Computer-aided Verification of Embedded Systems

Thomas A. Henzinger. Computer-aided Verification of Embedded Systems. In Kurt Mehlhorn, editor, Fundamentals - Foundations of Computer Science, IFIP World Computer Congress 1998, August 31 - September 4, 1998, Vienna/Austria and Budapest/Hungary. Volume 117 of books@ocg.at, pages 89-92, Austrian Computer Society, 1998.

Abstract

Abstract is missing.