From ee10160e3621632071e4274138daba379e5c7f56 Mon Sep 17 00:00:00 2001
From: Erin van der Veen
Date: Thu, 19 Apr 2018 20:15:39 +0200
Subject: Muller to LTL

---
 Assignment1/library.bib | 30 ++++++++++++++++++++++++++++++
 1 file changed, 30 insertions(+)

(limited to 'Assignment1/library.bib')

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},
-- 
cgit v1.2.3