Opacity formulations and verification in discrete event systems.

Christoforos N. Hadjicostis, Christoforos Keroglou

Browse the full ETFA paper archive.