%0 Journal Article %1 journals/tse/Rodriguez-NavasP13 %A Rodríguez-Navas, Guillermo %A Proenza, Julian %D 2013 %J IEEE Trans. Software Eng. %K dblp %N 6 %P 857-868 %T Using Timed Automata for Modeling Distributed Systems with Clocks: Challenges and Solutions. %U http://dblp.uni-trier.de/db/journals/tse/tse39.html#Rodriguez-NavasP13 %V 39

@article{journals/tse/Rodriguez-NavasP13, added-at = {2015-12-10T00:00:00.000+0100}, author = {Rodríguez-Navas, Guillermo and Proenza, Julian}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2759d6f11c103b399b4ad66f286b83ffb/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.2012.73}, interhash = {90964bc4b85a01b26fa1344a53bf4edc}, intrahash = {759d6f11c103b399b4ad66f286b83ffb}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 6, pages = {857-868}, timestamp = {2016-02-02T09:33:20.000+0100}, title = {Using Timed Automata for Modeling Distributed Systems with Clocks: Challenges and Solutions.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse39.html#Rodriguez-NavasP13}, volume = 39, year = 2013 }