Tools and algorithms for the construction and analysis of systems

Name: Tools and algorithms for the construction and analysis of systems
Author: TACAS '97 (1997 Enschede, Netherlands)