Reasoning about Connector Reconfiguration II: Basic reconfiguration Logic (2006)
by
Dave Clarke
| Venue: | |
| Citations: | 1 - 0 self |
BibTeX
@MISC{Clarke06reasoningabout,
author = {Dave Clarke},
title = {Reasoning about Connector Reconfiguration II: Basic reconfiguration Logic},
year = {2006}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
