Using Automated Induxtion-based Theorem Provers for Reasoning about Concurrent Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Abdessamad Imine, Yahya Slimani, Sorin Stratulat. Using Automated Induxtion-based Theorem Provers for Reasoning about Concurrent Systems. In Michel Rueher, editor, Programmation en logique avec contraintes, JFPLC 2002, 27-30 Mai 2002, Université de Nice Sophia-Antipolis, France. pages 71, 2002.

This author has not been identified. Look up 'Abdessamad Imine' in GoogleThis author has not been identified. Look up 'Yahya Slimani' in GoogleThis author has not been identified. It may be one of the following persons:

sorin stratulat

Look up 'Sorin Stratulat' in Google

runs on WebDSL