Reasoning About Systems with Transition Fairness - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Benjamin Aminof, Thomas Ball, Orna Kupferman. Reasoning About Systems with Transition Fairness. In Franz Baader, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings. Volume 3452 of Lecture Notes in Computer Science, pages 194-208, Springer, 2004. [doi]

This author has not been identified. Look up 'Benjamin Aminof' in GoogleThis author has not been identified. Look up 'Thomas Ball' in GoogleThis author has not been identified. Look up 'Orna Kupferman' in Google

runs on WebDSL