Publications by Sakari Ellonen
2010
1.
Synthesis of Moore machines from LTL Specifications (2010)
AUTHORS:
Ellonen Sakari
[INTERNALPDF]
![[PUBURL]](http://research.ics.aalto.fi/publications/bibdb2012/info_icon.png){kind=icon}