Author Info
Name
Affiliation
Papers
FALAK SHER
Software Modeling and Verification Group, RWTH Aachen University, Germany
3
Collaborators
Citations 
PageRank 
8
23
1.47
Referers 
Referees 
References 
44
94
49
Title
Citations
PageRank
Year
Modelling and statistical model checking of a microgrid.20.362015
Abstract Probabilistic Automata.140.652013
Compositional abstraction techniques for probabilistic automata70.452012