Darko Stefanovic

Latest

• Modular verification of chemical reaction network encodings via serializability analysis
• Modular Verification of DNA Strand Displacement Networks via Serializability Analysis