DMCA

Beyond Model Checking: Parameter Synthesis (2015)

Cached

Download Links

by Étienne André , Nicolas Marksey