Peter Broessler is an author at ETH Zurich specializing in formal verification, engineering, and parallel computing.
Top concepts
EngineeringFormal MethodsComputer ScienceParallel ComputingFormal VerificationSystems EngineeringComputer EngineeringParallel ProgrammingComputer ArchitectureTransaction Processing
Publications per year
1990–1990
1
1
Gerhard Weikum, Christof Hasse, Peter Broessler et al. · 1990 · 71 citations · Full text
Engineering, Transactional Application, Multi-level Recovery Algorithms +14
Rows per page
1–1 of 1