![](/img/cover-not-exists.png)
Model Checking Active Database Rules under Various Rule Processing Strategies
Choi, Eun-Hye, Tsuchiya, Tatsuhiro, Kikuno, TohruVolume:
2
Year:
2006
Language:
english
Journal:
IPSJ Digital Courier
DOI:
10.2197/ipsjdc.2.826
File:
PDF, 462 KB
english, 2006