User contributions for 146.169.8.145
Jump to navigation
Jump to search
17 August 2012
- 17:3117:31, 17 August 2012 diff hist +20,372 N Linear temporal logic to Büchi automaton Corrected 'translates' to 'translate'.