Reasoning about Connector Reconfiguration II: Basic reconfiguration Logic (2006)

Cached

Download Links

by Dave Clarke
Venue:
Citations:2 - 0 self