| 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 | |
| 1 | Rick W. Butler | [1] |
| 2 | Alwyn Goodloe | [2] |
| 3 | Radu Siminiceanu | [1] |