Checking Modal Contracts for Virtually Timed Ambients.

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

Browse the full ICTAC paper archive.