Model-Checking for Real-Time Systems Specified in Lotos.

Nathalie Rico, Gregor von Bochmann, Omar Cherkaoui

Browse the full CAV paper archive.