| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 2 |      | Dimitra Giannakopoulou, David H. Bushnell, Johann Schumann, Heinz Erzberger, Karen Heere: Formal testing for separation assurance. Ann. Math. Artif. Intell. 63(1): 5-30 (2011) |
| 1966 | ||
| 1 | | Heinz Erzberger, M. Kim: Optimum Boundary Control of Distributed Parameter Systems Information and Control 9(3): 265-278 (1966) |
| 1 | David H. Bushnell | [2] |
| 2 | Dimitra Giannakopoulou | [2] |
| 3 | Karen Heere | [2] |
| 4 | M. Kim | [1] |
| 5 | Johann Schumann | [2] |
Colors in the list of coauthors
Last update Tue May 29 20:41:18 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page