학술논문
An SMT-Based Framework for Reasoning About Discrete Biological Models
Document Type
Conference Paper
Source
In: Bioinformatics Research and Applications - 18th International Symposium, ISBRA 2022, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13760 LNBI:114-125)
Subject
Language
English
ISSN
16113349
03029743
03029743