DMCA

A Framework for Model Checking Active Database Management Systems (1998)

Cached

Download Links

by Tarek S. Ghazi , Michael Huth