diff options
| author | Erin van der Veen | 2018-04-07 10:21:10 +0200 |
|---|---|---|
| committer | Erin van der Veen | 2018-04-07 10:21:10 +0200 |
| commit | 6edbe920ef40826fd912cfd9b4b6ab205a1a5022 (patch) | |
| tree | 66efd14c77c46ffd1ec23c62fd4f6dc957b8190a /Assignment1/assignment1.tex | |
Framework
Diffstat (limited to 'Assignment1/assignment1.tex')
| -rw-r--r-- | Assignment1/assignment1.tex | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/Assignment1/assignment1.tex b/Assignment1/assignment1.tex new file mode 100644 index 0000000..8463e99 --- /dev/null +++ b/Assignment1/assignment1.tex @@ -0,0 +1,13 @@ +\documentclass[a4paper]{scrartcl} + +\title{Model Checking} +\subtitle{Assignment 1} +\author{Camil Staps \and Erin van der Veen} + +\begin{document} + +\maketitle + +\section{Past Modalities in LTL} + +\end{document} |