Lakshmi Manasa

	2008
2		Lakshmi Manasa, Shankara Narayanan Krishna, Kumar Nagaraj: Updatable Timed Automata with Additive and Diagonal Constraints. CiE 2008: 407-416
1		P. Vijay Suman, Paritosh K. Pandya, Shankara Narayanan Krishna, Lakshmi Manasa: Timed Automata with Integer Resets: Language Inclusion and Expressiveness. FORMATS 2008: 78-92

Coauthor Index

1	Shankara Narayanan Krishna	[1] [2]
2	Kumar Nagaraj	[2]
3	Paritosh K. Pandya	[1]
4	P. Vijay Suman	[1]