Tim Kemna

	2007
1		Joost-Pieter Katoen, Tim Kemna, Ivan S. Zapreev, David N. Jansen: Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking. TACAS 2007: 87-101

Coauthor Index

1	David N. Jansen	[1]
2	Joost-Pieter Katoen	[1]
3	Ivan S. Zapreev	[1]