Publikationen
Art der Publikation: Beitrag in Sammelwerk
Rule Termination Analysis based on Petri Nets
- Autor(en):
- Zimmer, D.; Meckenstock, A.; Unland, R.
- Titel des Sammelbands:
- CADLAB-Report 03/1996
- Veröffentlichung:
- 1996
- Zitation:
- Download BibTeX
Kurzfassung
-