×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [a1 b x]
Documents
Validation of Qualitative Models of Genetic Regulatory Networks A Method Based on Formal Verification Techniques Grégory Batt Ph.D. defense -- under supervision
215 views
Documents
Formal Verification of Hybrid Models of Genetic Regulatory Networks Grégory Batt Center for Information and Systems Engineering and Center for BioDynamics
213 views