188
Voted
VMCAI
2004
Springer
16 years 14 days ago
2004
Springer
Biological systems can be modeled beneficially as reactive systems, using languages and tools developed for the construction of man-made systems. Our long-term aim is to model a f...