Browse Categories
Arts
Business
Computers
Games
Health
Home
Kids and Teens
News
Recreation
Reference
Regional
Science
Shopping
Society
Sports
About Nomoz
Contact Us
Options:
Directory
Entire Web
Top
:
Computers
:
Programming
:
Languages
:
Erlang
:
Conferences
:
Proceedings
:
Development of a Verified Erlang Program for Resource Locking
Link Details for:
Development of a Verified Erlang Program for Resource Locking
Link Title:
Development of a Verified Erlang Program for Resource Locking
Link URL:
http://www.erlang.se/euc/01/arts2001/sld001.htm
Link Details:
Thomas Arts and Clara Benac Earle. Proceedings from EUC 2001, Stockholm. (Slides)
Category:
Top : Computers : Programming : Languages : Erlang : Conferences : Proceedings
Link Type:
ScreenShot: