| Original language | English |
|---|---|
| Title of host publication | Actes du Colloque Francophone sur l'Ingenerie des Protocoles |
| Publisher | Editions Hermes |
| Pages | 359-364 |
| Publication status | Published - 1993 |
On the Coverage of Partial Validations
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic