S. Akshay

	2008
3		S. Akshay, Benedikt Bollig, Paul Gastin, Madhavan Mukund, K. Narayan Kumar: Distributed Timed Automata with Independently Evolving Clocks. CONCUR 2008: 82-97
	2007
2		S. Akshay, Madhavan Mukund, K. Narayan Kumar: Checking Coverage for Infinite Collections of Timed Scenarios. CONCUR 2007: 181-196
1		S. Akshay, Benedikt Bollig, Paul Gastin: Automata and Logics for Timed Message Sequence Charts. FSTTCS 2007: 290-302

Coauthor Index

1	Benedikt Bollig	[1] [3]
2	Paul Gastin	[1] [3]
3	K. Narayan Kumar	[2] [3]
4	Madhavan Mukund	[2] [3]