Alessandro Basso and
Alexander Bolotov. Deductive verification of GCM: Deontic Temporal Resolution. CoreGRID WP3 Programming model Institute, plenary meeting, January 2008.
Keywords: WP3.
@InProceedings{BB-CoregridWP3-08,
AUTHOR = {Basso, Alessandro and Bolotov, Alexander},
TITLE = {Deductive verification of GCM: Deontic Temporal Resolution},
YEAR = {2008},
MONTH = {January},
INSTITUTION = {CoreGRID WP3 Programming model Institute, plenary meeting},
KEYWORDS = {WP3}
}
|
