| Title: |
Organic Computing Addressing Complexity by Controlled Self-Organization |
| Authors: |
Branke, Jürgen; Mnif, Moez; Müller-Schloer, Christian; Prothmann, Holger; Richter, Urban; Rochner, Fabian; Schmeck, Hartmut |
| Source: |
Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. Second International Symposium on. :185-191 Nov, 2006 |
| Relation: |
Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation |
| Database: |
IEEE Xplore Digital Library |