Aktuelles & Termine
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
Dirk Pattinson, Ph.D., The Australian National University
Date: 04.11.2005
Speakers homepage: http://users.cecs.anu.edu.au/~dpattinson/index.html