IndexBrowse  
Publication no #1245   Download bibtex file Type :   Html | Bib | Both
    Created: 2008-02-25 13:10:29     Modified: 2008-02-25 13:10:39
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}
}
Feedback: Peter Kunz
Last modified: Wed March 19 2008 14:34:44 		        BibAdmin