Alexander Kortus

	2008
1		Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker: Probabilistic Model Checking and Reliability of Results. DDECS 2008: 207-212

Coauthor Index

1	Bernd Becker	[1]
2	Marc Herbstritt	[1]
3	Ralf Wimmer	[1]