GitHub repository: ronaldof1s1/TemporalLogic
Primary language: TeX
Created: 2015-10-19T12:53:16Z
Description: Seminary presentation in Temporal Logic