Rob van Glabbeek - RWTH AACHEN UNIVERSITY UnRAVeL - English

This website uses technically necessary cookies to offer the best possible functionality.

Further Information

Skip to Content Skip to Main Navigation Skip to Search

UnRAVeL – UNcertainty and Randomness in Algorithms, VErification and Logic

Download digital business card

Person

Prof.

Rob van Glabbeek

DATA 61, CSIRO, Sydney and UNSW Sydney

Address

+61 2 9490 5938

rvg@cs.stanford.edu

Similar Topics

Guest Talk: Axiomatising Probabilistic Weak and Branching Bisimilarity

last updated : 12/05/2021

Faculty of Mathematics, Computer Science and Natural Sciences

Business and Economics

Faculty of Civil Engineering

Services Institutions