Checking Modal Contracts for Virtually Timed Ambients

Theoretical Aspects of Computing – ICTAC 2018 - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02508-3_14 ◽

2018 ◽

pp. 252-272 ◽

Cited By ~ 2

Author(s):

Einar Broch Johnsen ◽

Martin Steffen ◽

Johanna Beate Stumpf ◽

Lars Tveito

Download Full-text