Author Info
Name
Affiliation
Papers
MARIJANA LAZIC
Technische Universität München
2
Collaborators
Citations 
PageRank 
5
0
0.68
Referers 
Referees 
References 
0
0
0
Title
Citations
PageRank
Year
Complexity of Verification and Synthesis of Threshold Automata00.342020
Tutorial - Parameterized Verification with Byzantine Model Checker.00.342020