Urban Engberg

According to our database, Urban Engberg authored at least 1 paper in 1992.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of four.

1992

Mechanical Verification of Concurrent Systems with TLA.

Urban Engberg, Peter Grønning, Leslie Lamport

Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992