| No. | Title | Author | Year |
|---|---|---|---|
| 1 | Towards Model Validation and Verification with SAT Techniques | Gogolla, Martin | 2010 |
| 2 | On Horizontal and Vertical Relationships between Models | Gogolla, Martin | 2008 |
| 3 | Model Development in the UML-based Specification Environment (USE) | Gogolla, Martin | 2007 |
| 4 | Tales of ER and RE Syntax and Semantics | Gogolla, Martin | 2006 |
| 5 | An Example for Metamodeling Syntax and Semantics of Two Languages, their Transformation, and a Correctness Criterion | Gogolla, Martin | 2005 |
| Number of result pages: | 1 |
| Number of documents: | 5 |
