A formal verification approach to the design of synthetic gene networks

In  IEEE Conference on Decision and Control and European Control Conference

Publisher  IEEE

Details

TypeInproceedings
URLhttp://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=6160969
Pages4873–4878
ISBN978-1-61284-801-3
> Publications > A formal verification approach to the design of synthetic gene networks