MSc - Test Selection from Algebraic Petri Nets: an operational method and a tool

Authors

Post-Graduation Jury: Vasco Amaral
Post-Graduation Supervisor: Vasco Amaral
Post-Graduation Jury: João Leite
Post-Graduation by: Rui Domingues
Post-Graduation Jury: Ana Paiva