Checking modal contracts for virtually timed ambients

DOI10.1007/978-3-030-02508-3_14OpenAlexW2896905946MaRDI QIDQ1623139

Einar Broch Johnsen, Johanna Beate Stumpf, Martin Steffen, Lars Tveito

Publication date: 23 November 2018

Full work available at URL: https://doi.org/10.1007/978-3-030-02508-3_14

Mathematics Subject Classification ID

Theory of computing (68Qxx)

This page was built for publication: Checking modal contracts for virtually timed ambients