Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
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]