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
:
Parallel Model Checking Tool tailored to Erlang
Link Details for:
Parallel Model Checking Tool tailored to Erlang
Link Title:
Parallel Model Checking Tool tailored to Erlang
Link URL:
http://www.erlang.se/workshop/leucker-noll.ps
Link Details:
Martin Leucker and Thomas Noll. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps)
Category:
Top : Computers : Programming : Languages : Erlang : Conferences : Proceedings
Link Type:
ScreenShot: