Tese de Doutorado: Extending Propositional Dynamic Logic for Petri Nets

Autor: Bruno Lopes Vieira

Orientador: Edward Hermann Haeusler

Data: 28/03/2014    Hora: 10:00 h     Sala: RDC510

Categorias: Teses e Dissertações