Aguilar, M.
1987 mai 13.  Uma Experiência de Especificação Formal de Sistemas Multiprocessadores por Redes de Petri. Anais do International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD). [Online] :