Publications by Sakari Ellonen

2010
1	Sakari Ellonen. Synthesis of Moore machines from LTL specifications. Master's thesis, Aalto University, School of Science and Technology, Faculty of Information and Natural Sciences, Espoo, Finland, Dec 2010.	Info