A formal verification approach to the design of synthetic gene networks

Boyan Yordanov and Calin Belta

Details

Publication typeInproceedings
Published inIEEE Conference on Decision and Control and European Control Conference
URLhttp://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=6160969
Pages4873–4878
ISBN978-1-61284-801-3
PublisherIEEE
> Publications > A formal verification approach to the design of synthetic gene networks