Publikationen
Art der Publikation: Beitrag in Sammelwerk
Using Petri Nets for Rule Termination Analysis
- Autor(en):
- Zimmer, D.; Meckenstock, A.; Unland, R.
- Titel des Sammelbands:
- International Workshop on Databases: Active and Real-Time (DART)
- Ort(e):
- Rockville, Maryland
- Veröffentlichung:
- 1996
- Zitation:
- Download BibTeX