Publications
Type of Publication: Article in Collected Edition
Rule Termination Analysis based on Petri Nets
- Author(s):
- Zimmer, D.; Meckenstock, A.; Unland, R.
- Title of Anthology:
- CADLAB-Report 03/1996
- Publication Date:
- 1996
- Citation:
- Download BibTeX
Abstract
-