Browsing by Author "Rodriguez-Navas, Guillermo"
Now showing 1 - 1 of 1
- Results Per Page
- Sort Options
Item Using Timed Automata for Modeling Distributed Systems with Clocks : Challenges and Solutions(Institute of electrical and electronics engineers, 2013) Rodriguez-Navas, Guillermo; Proenza, Julian