dblp.uni-trier.dewww.uni-trier.de

Martin Riedl

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Jens Bachmann [3]
2Ingrid Fischer [1]
3Johann Schuster [2] [3]
4Sebastian Seifert [1]
5Markus Siegle [2] [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)