Author Info
Name
Affiliation
Papers
MARION GUTHMULLER
LORIA laboratory (Université de Lorraine, CNRS, Inria Veridis), Nancy, France
2
Collaborators
Citations 
PageRank 
2
0
0.68
Referers 
Referees 
References 
0
82
28
Title
Citations
PageRank
Year
System-level state equality detection for the formal dynamic verification of legacy distributed applications00.342018
System-Level State Equality Detection for the Formal Dynamic Verification of Legacy Distributed Applications00.342015