Using Petri Nets for Rule Termination Analysis
In: International Workshop on Databases: Active and Real-Time (DART)
Rockville, Maryland, USA (1996)
Buchaufsatz / Kapitel / Fach: Wirtschaftswissenschaften, Rechtswissenschaften
Dieser Eintrag ist freigegeben.