Showing 1 - 3 results of 3 for search 'Stolz, V. (Volker)', query time: 0.02s Narrow Search
  1. 1
    Runtime verification : 22nd international conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, proceedings
    Published 2022
    Other Authors: Click for online access
    eBook
    Save to List
    Saved in:
  2. 2
    Formal methods : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings
    Published 2020
    Other Authors: Click for online access
    eBook
    Save to List
    Saved in:
  3. 3
    Theoretical aspects of computing - ICTAC 2020 : 17th international colloquium, Macau, China, November 30 - December 4, 2020, proceedings
    Published 2020
    Other Authors: Click for online access
    eBook
    Save to List
    Saved in:

Search Tools: