| Original language | Undefined/Unknown |
|---|---|
| Title of host publication | Proc.TABLEAUX 2007 |
| Editors | N. Olivetti |
| Place of Publication | Berlin Heidelberg |
| Publisher | Springer |
| Pages | 2-9 |
| Number of pages | 8 |
| Publication status | Published - 2007 |
Our Quest fot the Holy Grail of Agent Verification
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review