APA (7th ed.) Citation

(2012). A Formal Interactive Verification Environment for the Plan Execution Interchange Language.

Chicago Style (17th ed.) Citation

A Formal Interactive Verification Environment for the Plan Execution Interchange Language. 2012.

MLA (8th ed.) Citation

A Formal Interactive Verification Environment for the Plan Execution Interchange Language. 2012.

Warning: These citations may not always be 100% accurate.