Chinmay Jain

	2009
1		Ashish Chiplunkar, Shankara Narayanan Krishna, Chinmay Jain: Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata. FORMATS 2009: 88-102

Coauthor Index

1	Ashish Chiplunkar	[1]
2	Shankara Narayanan Krishna	[1]