Statistics
Publications
1
Citations
337
H-Index
1
Active since
2002
Affiliations
Technical University of Munich(Current)
Georg Stellner is an author at Technical University of Munich specializing in formal verification, program analysis, and computer engineering.
Publications per year
2002–2002
1
1
CoCheck: checkpointing and process migration for MPI
Georg Stellner · 2002 · 337 citations
Rows per page
1–1 of 1