Carlos A. Rodríguez-Proenza
33  Ergebnisse:
Personensuche X
?
13

Using Timed Automata for Modeling Distributed Systems with ..:

Rodriguez-Navas, G. ; Proenza, J.
IEEE Transactions on Software Engineering.  39 (2013)  6 - p. 857-868 , 2013
 
?
 
1-15