Personal tools
You are here: Home Events Milner Lectures Milner Lecture 2012 - Sensing Everywhere: On Quantitative Verification For Ubiquitous Computing

Milner Lecture 2012 - Sensing Everywhere: On Quantitative Verification For Ubiquitous Computing

milner-lecture2012-Final.pdf — PDF document, 2564Kb

Document Actions