-
1
Tools and algorithms for the construction and analysis of systems : 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice...
Published 2018“…Springer Open,…”
Full Text (via Springer)
Conference Proceeding eBook -
2
Tools and algorithms for the construction and analysis of systems : 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice...
Published 2018“…Springer Open,…”
Full Text (via Springer)
Conference Proceeding eBook -
3
Tools and algorithms for the construction and analysis of systems : 25th International Conference, TACAS 2019, held as part of the European Joint Conferences on Theory and Practice...
Published 2019“…Springer Open,…”
Full Text (via Springer)
Conference Proceeding eBook -
4
Computer aided verification : 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings.
Published 2018“…Springer Open,…”
Full Text (via Springer)
Conference Proceeding eBook -
5
Computer aided verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings.
Published 2019“…SpringerOpen,…”
Full Text (via Springer)
Conference Proceeding eBook -
6
Tools and algorithms for the construction and analysis of systems : 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice...
Published 2020“…Springer Open,…”
Full Text (via Springer)
Conference Proceeding eBook -
7
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings.
Published 2019“…SpringerOpen,…”
Full Text (via Springer)
Conference Proceeding eBook