@inproceedings{inproceedingsa31d6f71,
title   = {Coloured petri nets: safety analysis using mutation testing},
author = {Simão, Adenilso da Silva and Maldonado, José Carlos},
year = {2003},
publisher = {EPUSP},
booktitle   = {Workshop em Segurança (Safety Workshop): Sistemas Computacionais em Aplicações Críticas}
}