News & Events

14.05.2013

A Temporal and Spatial Logic for Distributed Systems


Dirk Pattinson, Ph.D., The Australian National University

Date: 04.11.2005

Speakers homepage: http://users.cecs.anu.edu.au/~dpattinson/index.html