The erlang veri tool (2001)

by Thomas Noll, Lars-ake Fredlund, Dilian Gurov
Venue:In Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'01), volume 2031 of LNCS