![]() | ![]() |
2003 | ||
---|---|---|
2 | EE | Na'aman Kam, David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli, E. Jane Albert Hubbard, Michael J. Stern: Formal Modeling of C. elegans Development: A Scenario-Based Approach. CMSB 2003: 4-20 |
2001 | ||
1 | EE | Na'aman Kam, Irun R. Cohen, David Harel: The Immune System as a Reactive System: Modeling T Cell Activation With Statecharts. HCC 2001: 15-22 |
1 | Irun R. Cohen | [1] |
2 | David Harel | [1] [2] |
3 | E. Jane Albert Hubbard | [2] |
4 | Hillel Kugler | [2] |
5 | Rami Marelly | [2] |
6 | Amir Pnueli | [2] |
7 | Michael J. Stern | [2] |