Volume 16, issue 2, June 2020

Special Issue: 12th International Conference on Verification and Evaluation of Computer and Communication Systems(VECoS 2018)

Issue editors
  • Mohamed Faouzi Atig
  • Simon Bliudze

8 articles in this issue

  1. Timed service contract automata

    Authors

    • Davide Basile
    • Maurice H. ter Beek
    • Axel Legay
    • Content type: S.I. : VeCoS 2018
    • Published: 29 August 2019
    • Pages: 199 - 214