in Formal Methods for Components and Objects

D Harel, S Efroni, I. R Cohen

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

Original languageAmerican English
Title of host publicationna
EditorsS. Efroni
PublisherSpringer Berlin Heidelberg
Pages136-153
StatePublished - 2002

Cite this