| Original language | American English |
|---|---|
| Title of host publication | na |
| Editors | S. Efroni |
| Publisher | Springer Berlin Heidelberg |
| Pages | 136-153 |
| State | Published - 2002 |
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
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