DMCA

An Abstraction Technique for Testing Decomposable Systems by Model Checking

Cached

Download Links

by Paolo Arcaini , Angelo Gargantini , Elvinia Riccobene
Citations:1 - 1 self