Alessandro Bianchi, Stefano Coluccini, Pierpaolo Degano, Corrado Priami. An Efficient Verifier of Truly Concurrent Properties. In Victor E. Malyshkin, editor, Parallel Computing Technologies, 3rd International Conference, PaCT-95, St. Petersburg, Russia, September 12-25, 1995, Proceedings. Volume 964 of Lecture Notes in Computer Science, pages 36-50, Springer, 1995.
Abstract is missing.