Reiter is an author at Karl Landsteiner Society specializing in formal methods, automated reasoning, and engineering.
Top concepts
SemanticsEngineeringVerificationFormal MethodsComputer ScienceAutomated ReasoningFormal Verification
Publications per year
1976–2012
2
2
Effects of inspiratory muscle training on dynamic hyperinflation in patients with COPD
Miloš Petrović, Reiter, Wanke et al. · International Journal of COPD · 2012 · 76 citations · Full text
Rows per page
1–2 of 2