• Reference Citation Analysis
  • v
  • v
  • Find an Article
Find an Article (55418809)   Find a Category (124)   Find a Journal (6152)   Find a Scholar (3949)   Find an Academic Assistant (18)
Find an Article PDF (4618911)   Today's Articles (0)   Subscriber (49403)
Citation(s) in RCA

Indexed Articles
Ranked By
Results Analysis
  •   
  •   
  •   
  •   
Results Analysis
Year Published
Show more   Refine
Article Statistics
Refine
For: Johnson RF, Dong Q, Winfree E. Verifying Chemical Reaction Network Implementations: A Bisimulation Approach. In: Rondelez Y, Woods D, editors. DNA Computing and Molecular Programming. Cham: Springer International Publishing; 2016. pp. 114-34. [DOI: 10.1007/978-3-319-43994-5_8] [Citation(s) in RCA: 2] [Impact Index Per Article: 0.3] [Reference Citation Analysis] [What about the content of this article? (0)] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register]
Number Cited by Other Article(s)
1
Badelt S, Shin SW, Johnson RF, Dong Q, Thachuk C, Winfree E. A General-Purpose CRN-to-DSD Compiler with Formal Verification, Optimization, and Simulation Capabilities. LECTURE NOTES IN COMPUTER SCIENCE 2017. [DOI: 10.1007/978-3-319-66799-7_15] [Citation(s) in RCA: 17] [Impact Index Per Article: 2.4] [Reference Citation Analysis] [Track Full Text] [Subscribe] [Scholar Register] [Indexed: 12/13/2022]
PrevPage 1 of 1 1Next
© 2004-2024 Baishideng Publishing Group Inc. All rights reserved. 7041 Koll Center Parkway, Suite 160, Pleasanton, CA 94566, USA