"The Erlang Verification Tool."

Thomas Noll, Lars-Åke Fredlund, Dilian Gurov (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics