MicroRNA target validation by formal methods

10.1109/ICCA.2011.6138075

Saved in:
Bibliographic Details
Main Authors: Yang, Y., Cheng, X., Hai, L.
Other Authors: ELECTRICAL & COMPUTER ENGINEERING
Format: Conference or Workshop Item
Published: 2014
Online Access:http://scholarbank.nus.edu.sg/handle/10635/51208
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
id sg-nus-scholar.10635-51208
record_format dspace
spelling sg-nus-scholar.10635-512082018-06-12T02:20:15Z MicroRNA target validation by formal methods Yang, Y. Cheng, X. Hai, L. ELECTRICAL & COMPUTER ENGINEERING 10.1109/ICCA.2011.6138075 IEEE International Conference on Control and Automation, ICCA 1337-1342 2014-04-24T08:36:26Z 2014-04-24T08:36:26Z 2011 Conference Paper Yang, Y., Cheng, X., Hai, L. (2011). MicroRNA target validation by formal methods. IEEE International Conference on Control and Automation, ICCA : 1337-1342. ScholarBank@NUS Repository. https://doi.org/10.1109/ICCA.2011.6138075 9781457714757 19483449 http://scholarbank.nus.edu.sg/handle/10635/51208 NOT_IN_WOS Scopus
institution National University of Singapore
building NUS Library
country Singapore
collection ScholarBank@NUS
description 10.1109/ICCA.2011.6138075
author2 ELECTRICAL & COMPUTER ENGINEERING
author_facet ELECTRICAL & COMPUTER ENGINEERING
Yang, Y.
Cheng, X.
Hai, L.
format Conference or Workshop Item
author Yang, Y.
Cheng, X.
Hai, L.
spellingShingle Yang, Y.
Cheng, X.
Hai, L.
MicroRNA target validation by formal methods
author_sort Yang, Y.
title MicroRNA target validation by formal methods
title_short MicroRNA target validation by formal methods
title_full MicroRNA target validation by formal methods
title_fullStr MicroRNA target validation by formal methods
title_full_unstemmed MicroRNA target validation by formal methods
title_sort microrna target validation by formal methods
publishDate 2014
url http://scholarbank.nus.edu.sg/handle/10635/51208
_version_ 1681083805249568768