Kumud Sanwal

	2000
2		Adnan Aziz, Kumud Sanwal, Vigyan Singhal, Robert K. Brayton: Model-checking continous-time Markov chains. ACM Trans. Comput. Log. 1(1): 162-170 (2000)
	1996
1		Adnan Aziz, Kumud Sanwal, Vigyan Singhal, Robert K. Brayton: Verifying Continuous Time Markov Chains. CAV 1996: 269-276

Coauthor Index

1	Adnan Aziz	[1] [2]
2	Robert K. Brayton	[1] [2]
3	Vigyan Singhal	[1] [2]