A formal verification approach to the design of synthetic gene networks
Boyan Yordanov and Calin Belta
December 2011
In IEEE Conference on Decision and Control and European Control Conference
Publisher IEEE
Details
| Type | Inproceedings |
| URL | http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=6160969 |
| Pages | 4873–4878 |
| ISBN | 978-1-61284-801-3 |
Related People
Share
