<style face="normal" font="default" size="100%">Correction to: Using Hierarchical Timed Coloured Petri Nets in the formal study of TRBAC security policies</style>

Drupal-Biblio