Symbolic Model Checking of Hybrid CTL on Coloured Kripke Structures.

Nikola Benes, Lubos Brim, Ondrej Huvar, Samuel Pastva, David Safrnek

Browse the full ATVA paper archive.