- CSB - MetaPress - Google - Bing - Yahoo
 | 2006 | |
|---|---|---|
| 1 |      | Heather Goldsby, Betty H. C. Cheng, Sascha Konrad, Stephane Kamdoum: A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems. MoDELS 2006: 707-721 |
| 1 | Betty H. C. Cheng | [1] |
| 2 | Heather Goldsby | [1] |
| 3 | Sascha Konrad | [1] |