| Original language | American English |
|---|---|
| Title of host publication | na |
| Editors | S. Efroni |
| Publisher | Springer Berlin Heidelberg |
| Pages | 136-153 |
| State | Published - 2002 |
in Formal Methods for Components and Objects
D Harel, S Efroni, I. R Cohen
Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review