2009 | ||
---|---|---|
3 | EE | Jens Bachmann, Martin Riedl, Johann Schuster, Markus Siegle: An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA. SOFSEM 2009: 485-496 |
2008 | ||
2 | EE | Martin Riedl, Johann Schuster, Markus Siegle: Recent Extensions to the Stochastic Process Algebra Tool CASPA. QEST 2008: 113-114 |
2006 | ||
1 | EE | Martin Riedl, Sebastian Seifert, Ingrid Fischer: String Generating Hypergraph Grammars with Word Order Restrictions. ICGT 2006: 138-152 |
1 | Jens Bachmann | [3] |
2 | Ingrid Fischer | [1] |
3 | Johann Schuster | [2] [3] |
4 | Sebastian Seifert | [1] |
5 | Markus Siegle | [2] [3] |