Formal Verification of Network-Based Biocomputation Circuits
Authors: Hillel Kugler, Till Korten, Stefan Diez and Dan Nicolau Jr.
Paper Information
| Title: | Formal Verification of Network-Based Biocomputation Circuits |
| Authors: | Hillel Kugler, Till Korten, Stefan Diez and Dan Nicolau Jr. |
| Proceedings: | VEMDP Camera-ready abstracts |
| Editors: | Nicola Paoletti and Frits Dannenberg |
| Keywords: | Network Based Biocomputation, Formal Verification, Nanofabricated Devices |
| Abstract: | ABSTRACT. |
| Pages: | 3 |
| Talk: | Jul 19 17:20 (Session 136F) |
| Paper: |  |