Checking Properties on the Control of Heterogeneous Systems.

Christophe Jacquet, Dominique Marcadet

Browse the full ICST paper archive.