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