Author Info
Name
Affiliation
Papers
JURE KUKOVEC
Vienna University of Technology
2
Collaborators
Citations 
PageRank 
3
1
0.75
Referers 
Referees 
References 
2
0
0
Title
Citations
PageRank
Year
TLA+ model checking made symbolic10.412019
Reachability in Parameterized Systems: All Flavors of Threshold Automata.00.342018