Merge branch 'master' of gitlab.science.ru.nl:eveen/Model-Checking

1 files changed, 30 insertions, 0 deletions

diff --git a/Assignment1/library.bib b/Assignment1/library.bib
index 2035c70..0da201b 100755
--- a/Assignment1/library.bib
+++ b/Assignment1/library.bib
@@ -1,3 +1,33 @@
+@Article{Meyer1969,
+  title={A note on star-free events},
+  author={Meyer, Albert R},
+  journal={Journal of the ACM (JACM)},
+  volume={16},
+  number={2},
+  pages={220--225},
+  year={1969},
+  publisher={ACM}
+}
+
+@Article{Krohn1965,
+  title={Algebraic theory of machines. I. Prime decomposition theorem for finite semigroups and machines},
+  author={Krohn, Kenneth and Rhodes, John},
+  journal={Transactions of the American Mathematical Society},
+  volume={116},
+  pages={450--464},
+  year={1965},
+  publisher={JSTOR}
+}
+
+@InCollection{Maler2010,
+  title={On the krohn-rhodes cascaded decomposition theorem},
+  author={Maler, Oded},
+  booktitle={Time for verification},
+  pages={260--278},
+  year={2010},
+  publisher={Springer}
+}
+
 @InCollection{Roggenbach2002,
   title={Determinization of B{\"u}chi-automata},
   author={Roggenbach, Markus},