×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [a1 b x]
Validation of Qualitative Models of Genetic Regulatory Networks A Method Based on Formal Verification Techniques Grégory Batt Ph.D. defense -- under supervision
217 views
Formal Verification of Hybrid Models of Genetic Regulatory Networks Grégory Batt Center for Information and Systems Engineering and Center for BioDynamics
216 views