Chronicles: Formalization of a Temporal ModelPhilippe Besnard, Thomas GuyetPocketEngelskDel av serien SpringerBriefs in Computer ScienceLegg i handlekurvNettlager