DMCA

A Model Checker for Value-Passing Mu-Calculus Using Logic Programming (2000)

Cached

Download Links

by C. R. Ramakrishnan
Venue:IN 3RD INT'L SYMPOSIUM ON PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES
Citations:6 - 2 self