The following pages link to Marta Kwiatkowska (Q278754):
Displaying 5 items.
- A specification theory of real-time processes (Q1708707) (← links)
- DNA walker circuits: computational potential, design, and verification (Q2003463) (← links)
- Chemical reaction network designs for asynchronous logic circuits (Q6084209) (← links)
- Programming discrete distributions with chemical reaction networks (Q6084210) (← links)
- Verification and Control of Turn-Based Probabilistic Real-Time Games (Q6489033) (← links)
