Reasoning with Temporal Logic on Truncated Paths - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Cindy Eisner, Dana Fisman, John Havlicek, Yoad Lustig, Anthony McIsaac, David Van Campenhout. Reasoning with Temporal Logic on Truncated Paths. In Warren A. Hunt Jr., Fabio Somenzi, editors, Computer Aided Verification, 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings. Volume 2725 of Lecture Notes in Computer Science, pages 27-39, Springer, 2003. [doi]

This author has not been identified. Look up 'Cindy Eisner' in GoogleThis author has not been identified. Look up 'Dana Fisman' in GoogleThis author has not been identified. Look up 'John Havlicek' in GoogleThis author has not been identified. Look up 'Yoad Lustig' in GoogleThis author has not been identified. Look up 'Anthony McIsaac' in GoogleThis author has not been identified. Look up 'David Van Campenhout' in Google

runs on WebDSL