%0 Conference Proceedings
%F FalconeFM08-ICISS
%A Falcone, Ylič
%A Fernandez, Jean-Claude
%A Mounier, Laurent
%T Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties
%B International Conference of Information System Security
%V LNCS 5352
%P 41-55
%C Hyderabad, India
%U http://www-verimag.imag.fr/PEOPLE/mounier/Papers/Falcone-Fernandez-Mounier-08-b.pdf
%8 December
%D 2008
%K Test and run-time verification