Comparing Model Checking and Term Rewriting for the Verification of an Embedded System.

Klaus Schneider Michaela Huhn Comparing Model Checking and Term Rewriting for the Verification of an Embedded System. 129-138 1998 conf/ifip10-3/1998dipes DIPES db/conf/ifip10-3/dipes1998.html#SchneiderH98