
Registered user since Thu 2 Nov 2017
Name:Radu Mardare
Country:Denmark
Affiliation:Aalborg University
Personal website:http://people.cs.aau.dk/~mardare/
Contributions
PPS 2018 | Committee Member in Program Committee within the PPS 2018-track Comparing the speed of probabilistic processes | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2018-profile
View general profile
View general profile