| |
| 2008 | ||
|---|---|---|
| 2 | Tobias Simon, Jonathan Streit, Markus Pizka: Practically Relevant Quality Criteria for Requirements Documents. Software Engineering Research and Practice 2008: 115-121 | |
| 2006 | ||
| 1 | EE | Andreas Bauer, Martin Leucker, Jonathan Streit: SALT - Structured Assertion Language for Temporal Logic. ICFEM 2006: 757-775 |
| 1 | Andreas Bauer | [1] |
| 2 | Martin Leucker | [1] |
| 3 | Markus Pizka | [2] |
| 4 | Tobias Simon | [2] |