Author Info
Name
Papers
Collaborators
GEORG WEISSENBACHER
2
6
Citations 
PageRank 
Referers 
4
0.76
12
Referees 
References 
0
0
Title
Citations
PageRank
Year
Randomized testing of distributed systems with probabilistic guarantees.00.342018
Vienna Verification Tool: IC3 for Parallel Software - (Competition Contribution).40.432016