José M. Garrido. Applying Empirical and Formal Methods for Modelling Systems with Concurrency and Timing Aspects. In Proceedings of the 2017 ACM Southeast Regional Conference, Kennesaw, GA, USA, April 13-15, 2017. pages 81-87, ACM, 2017. [doi]
@inproceedings{Garrido17, title = {Applying Empirical and Formal Methods for Modelling Systems with Concurrency and Timing Aspects}, author = {José M. Garrido}, year = {2017}, doi = {10.1145/3077286.3077299}, url = {http://doi.acm.org/10.1145/3077286.3077299}, researchr = {https://researchr.org/publication/Garrido17}, cites = {0}, citedby = {0}, pages = {81-87}, booktitle = {Proceedings of the 2017 ACM Southeast Regional Conference, Kennesaw, GA, USA, April 13-15, 2017}, publisher = {ACM}, isbn = {978-1-4503-5024-2}, }