Klaus Schneider, Michaela Huhn. Comparing Model Checking and Term Rewriting for the Verification of an Embedded System. In Franz J. Rammig, editor, Distributed and Parallel Embedded Systems, IFIP WG10.3/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES 98), October 5-6. 1998, Schloß Eringerfeld, Germany. Volume 155 of IFIP Conference Proceedings, pages 129-138, Kluwer, 1998.
Abstract is missing.