Peter Höfner

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 35

Top Topics

Mutual Exclusion

Wireless Networks

Routing Protocol

Automated Verification

Top Venues

J. Log. Algebraic Methods Program.

University of Augsburg (PHD)

Education History

University of Augsburg

PHD

Publications