IW Meeting 2008-12-02

From Inference Web

Jump to: navigation, search

agenda

notes

pml validator

combine proof

Combine Proof Test Case 1

actions

  • Jiao and Cynthia will contact offline via email on feature request to PML Validator
  • Honglei and Li will work on optimal combined proof.
Personal tools
Navigation