Marta Z. Kwiatkowska
Informatikerin
Geboren:
1957
Creative Commons Attribution 3.0
Werke:
- Chemical reaction network designs for asynchronous logic circuits
- PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives
- Current state and future directions of technology-based ecological momentary assessments and interventions for major depressive disorder: protocol for a systematic review
- Semantics for concurrency : proceedings of the international BCS-FACS workshop, 23 - 25 July 1990, University of Leicester, UK