Comparing model checking and term rewriting for the verification of an embedded system

• Authors:

• Klaus Schneider;Michaela Huhn

• Affiliations:

• -;-

• Venue:
• DIPES '98 Proceedings of the IFIP WG10.3/WG10.5 international workshop on Distributed and parallel embedded systems
• Year:
• 1998