DMCA

Distributed CTL Model-Checking and counterexample search

Cached

Download Links

by M. C. Boukala , L. Petrucci