James Jerson Ortiz Vega
Calculated based on number of publications stored in Pure and citations from Scopus

Research activity per year

Chapter (peer-reviewed)

Search results

  • 2017

    Multi-timed Bisimulation for Distributed Timed Automata

    Ortiz Vega, J. J., Schobbens, P. & Amrani, M., 1 Jan 2017, NASA Formal Methods - 9th International Symposium, NFM 2017 Moffett Field, Proceedings. Davies, M., Kahsai, T. & Barrett, C. (eds.). Springer, p. 52-67 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10227 LNCS).

    Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter (peer-reviewed)peer-review

    Open Access
    55 Downloads (Pure)
Your message has successfully been sent.
Your message was not sent due to an error.