Sorin Stratulat Sign in to save

–

Citations

–

h-index

–

i10-index

–

Works (all)

Aachen papers

Departments & institutes in Aachen

No department could be parsed from this author's affiliation strings.

Affiliations exactly as printed on papers (7)

2× MOSEL - Proof-oriented development of computer-based systems (France)
2× VERIDIS - Modeling and Verification of Distributed Algorithms and Systems (615 rue du Jardin Botanique 54600 Villers-lès-Nancy - France)
1× Université de Lorraine,CNRS, LORIA,Metz,France,F-57000
1× Université de Lorraine, CNRS, LORIA, 57000, Metz, France
1× Modeling and Verification of Distributed Algorithms and Systems
1× Proof-oriented development of computer-based systems
1× UL - Université de Lorraine (34 cours Léopold - CS 25233 - 54052 Nancy cedex - France)

5 results