Towards a Fully Verified Artificial DNA - Formal Verification of Building Block Behavior.

Aleksey Koschowoj, Thomas Zander, Margareta Scheffer, Timo Kisselbach, Mathias Pacher

Browse the full ISORC paper archive.