Urban Engberg

According to our database1, Urban Engberg authored at least 2 papers in 1992.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1992
Mechanical Verification of Concurrent Systems with TLA.
Proceedings of the First International Workshop on Larch, 1992

Mechanical Verification of Concurrent Systems with TLA.
Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992


  Loading...