2016 IEEE International High Level Design Validation and Test Workshop (HLDVT)
Book title Buchtitel
2016 IEEE International High Level Design Validation and Test Workshop (HLDVT)
Publisher Herausgeber
IEEE
Date issued
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Islam, Md. Ariful ; Wang, Qinsi ; Hasani, Ramin M. ; Balun, Ondrej ; Clarke, Edmund M. ; Grosu, Radu ; Smolka, Scott A. | Probabilistic reachability analysis of the tap withdrawal circuit in caenorhabditis elegans | Konferenzbeitrag Inproceedings  | 2016 |