Maneesh Khattri

	2005
2		Lucia Cloth, Joost-Pieter Katoen, Maneesh Khattri, Reza Pulungan: Model Checking Markov Reward Models with Impulse Rewards. DSN 2005: 722-731
1		Joost-Pieter Katoen, Maneesh Khattri, Ivan S. Zapreev: A Markov Reward Model Checker. QEST 2005: 243-244

Coauthor Index

1	Lucia Cloth	[2]
2	Joost-Pieter Katoen	[1] [2]
3	Reza Pulungan	[2]
4	Ivan S. Zapreev	[1]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page