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.
@inproceedings{SchneiderH98, title = {Comparing Model Checking and Term Rewriting for the Verification of an Embedded System}, author = {Klaus Schneider and Michaela Huhn}, year = {1998}, tags = {model checking, meta-model, term rewriting, graph-rewriting, Meta-Environment, rewriting}, researchr = {https://researchr.org/publication/SchneiderH98}, cites = {0}, citedby = {0}, pages = {129-138}, booktitle = {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}, editor = {Franz J. Rammig}, volume = {155}, series = {IFIP Conference Proceedings}, publisher = {Kluwer}, isbn = {0-7923-8614-0}, }