Tese de Doutorado: Extending Propositional Dynamic Logic for Petri Nets

Autor: Bruno Lopes Vieira
Orientador: Edward Hermann Haeusler
Data e Hora: 28/03/2014 às 10:00h
Local: sala RDC510

Categorias: Teses e Dissertações