Ruth Lamprecht

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

2 Ruth Lamprecht, Peter Kemper: Reflection symmetry detection to reduce the state space of Markovian models. ACM Southeast Regional Conference 2009

2008

1 Ruth Lamprecht, Peter Kemper: Möbius Trace Analysis with Traviando. QEST 2008: 41-42

	2009
2		Ruth Lamprecht, Peter Kemper: Reflection symmetry detection to reduce the state space of Markovian models. ACM Southeast Regional Conference 2009
	2008
1		Ruth Lamprecht, Peter Kemper: Möbius Trace Analysis with Traviando. QEST 2008: 41-42

Coauthor Index