Concurrent checking in dedicated controllers.

Rgis Leveugle, Gabriele Saucier

Browse the full ICCD paper archive.