Search for persons
X
?
2023 IEEE International Symposium on Circuits and Systems (ISCAS) ,
2
Simulation and Verification of Network-Based Biocomputation..:
, In:
?
Cyber-Physical Systems: Intelligent Models and Algorithms; Studies in Systems, Decision and Control ,
7
Biocomputation Using Molecular Agents Moving in Microfluidi..:
, In:
?
Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation ,
12