dblp.uni-trier.dewww.uni-trier.de

Na'aman Kam

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2003
2EENa'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
1EENa'aman Kam, Irun R. Cohen, David Harel: The Immune System as a Reactive System: Modeling T Cell Activation With Statecharts. HCC 2001: 15-22

Coauthor Index

1Irun R. Cohen [1]
2David Harel [1] [2]
3E. Jane Albert Hubbard [2]
4Hillel Kugler [2]
5Rami Marelly [2]
6Amir Pnueli [2]
7Michael J. Stern [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)