Distributed Timed Automata with Independently Evolving Clocks⋆ S. Akshay1,3, Benedikt Bollig1 , Paul Gastin1 , Madhavan Mukund2, and K. Narayan Kumar2 1 LSV, ENS Cachan, CNRS, France - K-3 - Document - PDFSEARCH.IO

First Page	Meta Content
	Distributed Timed Automata with Independently Evolving Clocks⋆ S. Akshay1,3, Benedikt Bollig1 , Paul Gastin1 , Madhavan Mukund2, and K. Narayan Kumar2 1 LSV, ENS Cachan, CNRS, France Add to Reading List Document Date: 2008-06-21 12:25:26 Open Document File Size: 198,05 KB Share Result on Facebook

Distributed Timed Automata with Independently Evolving Clocks⋆ S. Akshay1,3, Benedikt Bollig1 , Paul Gastin1 , Madhavan Mukund2, and K. Narayan Kumar2 1 LSV, ENS Cachan, CNRS, FranceAdd to Reading List