Web Directory
 

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 Open in a new window
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: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
Parallel Model Checking Tool tailored to Erlang