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]

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page