Index Browse

Publication no #1245   Type :   Html | Bib | Both

Created: 2008-02-25 13:10:29     Modified: 2008-02-25 13:10:39

1245 Alessandro Basso and Alexander Bolotov. Deductive verification of GCM: Deontic Temporal Resolution. CoreGRID WP3 Programming model Institute, plenary meeting, January 2008.   Keywords: WP3.

Feedback: Peter Kunz Last modified: Wed March 19 2008 14:34:44