(2012). A Formal Interactive Verification Environment for the Plan Execution Interchange Language.
Chicago Style (17th ed.) CitationA Formal Interactive Verification Environment for the Plan Execution Interchange Language. 2012.
MLA (8th ed.) CitationA Formal Interactive Verification Environment for the Plan Execution Interchange Language. 2012.
Warning: These citations may not always be 100% accurate.