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

-