César A. Muñoz

	2009
2		Alwyn Goodloe, César A. Muñoz: Compositional Verification of a Communication Protocol for a Remotely Operated Vehicle. FMICS 2009: 86-101
	2008
1		Radu Siminiceanu, Rick W. Butler, César A. Muñoz: Experimental Evaluation of a Planning Language Suitable for Formal Verification. MoChArt 2008: 132-146

Coauthor Index

1	Rick W. Butler	[1]
2	Alwyn Goodloe	[2]
3	Radu Siminiceanu	[1]

Colors in the list of coauthors