Verification of Human Driven Data-Centric Dynamic Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, Marco Montali. Verification of Human Driven Data-Centric Dynamic Systems. In 2014 AAAI Spring Symposia, Stanford University, Palo Alto, California, USA, March 24-26, 2014. AAAI Press, 2014. [doi]

This author has not been identified. Look up 'Babak Bagheri Hariri' in GoogleThis author has not been identified. Look up 'Diego Calvanese' in GoogleThis author has not been identified. Look up 'Giuseppe De Giacomo' in GoogleThis author has not been identified. Look up 'Alin Deutsch' in GoogleThis author has not been identified. Look up 'Marco Montali' in Google

runs on WebDSL