DMCA

On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems

Cached

Download Links

by Marco Bernardo , Davide Sangiorgi , Valeria Vignudelli