Peter Grønning

Publication Activity (10 Years)

Years Active: 1990-1992
Publications (10 Years): 0

Publications

Urban Engberg, Peter Grønning, Leslie Lamport
Mechanical Verification of Concurrent Systems with TLA. CAV (1992)
Urban Engberg, Peter Grønning, Leslie Lamport
Mechanical Verification of Concurrent Systems with TLA. Larch (1992)
Peter Grønning, Thomas Qvist Nielsen, Hans Henrik Løvengreen
Stepwise Development of a Distributed Load Balancing Algorithms. WDAG (1990)
Peter Grønning, Thomas Qvist Nielsen, Hans Henrik Løvengreen
Refinement and Composition of Transition-based Rely-Guarantee Specification with Auxiliary Variables. FSTTCS (1990)