Fingerprint
Dive into the research topics of 'Formal Verification of 800 Genetically Constructed Automata Programs: A Case Study'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Formal Verification of 800 Genetically Constructed Automata Programs: A Case Study
Mikhail. A Lukin, Maxim Buzdalov, A. A. Shalyto
Research output: Chapter in Book/Report/Conference proceeding › Conference Proceeding (Non-Journal item)