next up previous contents
Next: Summary Up: Current Research Previous: References   Contents

Project: Specification and Verification of Biological Systems



Maria Simi 2006-10-23