Personensuche
X
?
Lecture Notes in Computer Science; Bioinformatics Research and Applications ,
1
Synthesis of Boolean Networks with Weak and Strong Regulato..:
, In:
?
2023 IEEE International Symposium on Circuits and Systems (ISCAS) ,
2
Simulation and Verification of Network-Based Biocomputation..:
, In:
?
Lecture Notes in Computer Science; SOFSEM 2023: Theory and Practice of Computer Science ,
3
Learning Through Imitation by Using Formal Verification:
, In:
?
Lecture Notes in Computer Science; Bioinformatics Research and Applications ,
8
An SMT-Based Framework for Reasoning About Discrete Biologi..:
, In:
?
Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation ,
13
Formal Semantics and Verification of Network-Based Biocompu..:
, In:
?
2020 Formal Methods in Computer Aided Design (FMCAD) ,
15