Carlos Bazílio

	2007
2		Carlos Bazílio, Edward Hermann Haeusler, Markus Endler: Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed Systems. Electr. Notes Theor. Comput. Sci. 184: 189-207 (2007)
	2006
1		Fernando Náufel do Amaral, Carlos Bazílio, Geiza Maria Hamazaki da Silva, Alexandre Rademaker, Edward Hermann Haeusler: An Ontology-based Approach to the Formalization of Information Security Policies. EDOC Workshops 2006: 1

Coauthor Index

1	Fernando Náufel do Amaral	[1]
2	Markus Endler	[2]
3	Edward Hermann Haeusler	[1] [2]
4	Alexandre Rademaker	[1]
5	Geiza Maria Hamazaki da Silva	[1]