2011-06-21
Reconfigurable component connectors
Publication
Publication
This thesis provides formal methods for reconfigurable component connectors.
| Additional Metadata | |
|---|---|
| F. Arbab (Farhad) | |
| Universiteit Leiden | |
| E.P. de Vink (Erik) | |
| hdl.handle.net/1887/17718 | |
| Institute for Programming research and Algorithmics Dissertation Series ; 2011-8 | |
| Organisation | Formal Methods |
|
Krause (born Köhler), C. (2011). Reconfigurable component connectors. In IPA dissertation series.http://hdl.handle.net/1887/17718 |
|