Toward Parametric Verification of Open Distributed Systems (1998)

Cached

Download Links

by Mads Dam , Lars-åke Fredlund , Dilian Gurov
Venue:IN COMPOSITIONALITY: THE SIGNIFICANT DIFFERENCE
Citations:19 - 7 self