Urban Engberg

Publication Activity (10 Years)

Years Active: 1992-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)