%
% GENERATED FROM http://www.coregrid.net
%    by   : anonymous
%    IP   : yoshi.ercim.eu
%    at   : Fri, 15 Jun 2012 09:32:29 +0000 GMT
%    
% Selection : Publication #1245
%




@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}
}