C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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)