User contributions
- 17:51, 4 September 2013 (diff | hist) . . (+11) . . Flata (→Decision Procedure for the SAT problem of the Logic SIL)
- 17:48, 4 September 2013 (diff | hist) . . (-32) . . Flata (→Decision Procedure for the SAT problem of the Logic SIL)
- 17:02, 4 September 2013 (diff | hist) . . (0) . . File:Flata.tar.gz (Konecny uploaded a new version of "File:Flata.tar.gz") (current)
- 17:00, 4 September 2013 (diff | hist) . . (0) . . File:Flata.tar.gz (Konecny uploaded a new version of "File:Flata.tar.gz")
- 14:16, 3 September 2013 (diff | hist) . . (0) . . File:Flata.tar.gz (Konecny uploaded a new version of "File:Flata.tar.gz")
- 13:49, 3 September 2013 (diff | hist) . . (+814) . . Flata
- 16:47, 24 June 2013 (diff | hist) . . (0) . . File:Ntslib.pdf (Konecny uploaded a new version of "File:Ntslib.pdf") (current)
- 17:15, 2 April 2013 (diff | hist) . . (0) . . N File:Sil-examples.tar.gz (current)
- 17:15, 2 April 2013 (diff | hist) . . (0) . . N File:Sil.tar.gz (current)
- 12:33, 15 March 2013 (diff | hist) . . (0) . . File:Flata.tar.gz (Konecny uploaded a new version of "File:Flata.tar.gz")
- 12:17, 15 March 2013 (diff | hist) . . (0) . . File:Flata.tar.gz (Konecny uploaded a new version of "File:Flata.tar.gz")
- 18:57, 4 March 2013 (diff | hist) . . (-1) . . Flata
- 09:10, 13 February 2013 (diff | hist) . . (0) . . Flata
- 11:25, 5 February 2013 (diff | hist) . . (+4) . . Flata
- 16:22, 4 February 2013 (diff | hist) . . (+63) . . Flata
- 16:12, 4 February 2013 (diff | hist) . . (+9) . . Flata
- 16:10, 4 February 2013 (diff | hist) . . (0) . . N File:Flata.tar.gz
- 16:06, 4 February 2013 (diff | hist) . . (0) . . N File:Octahedron.png (current)
- 16:02, 4 February 2013 (diff | hist) . . (+1,422) . . Flata
- 16:00, 4 February 2013 (diff | hist) . . (0) . . N File:Fm12.pdf
- 15:57, 4 February 2013 (diff | hist) . . (0) . . N File:Cav10.pdf
- 15:51, 4 February 2013 (diff | hist) . . (0) . . N File:Flata.gz (current)
- 14:29, 4 February 2013 (diff | hist) . . (+6) . . Flata
- 13:30, 4 February 2013 (diff | hist) . . (0) . . N File:Octaheron.png (current)
- 12:31, 4 February 2013 (diff | hist) . . (-954) . . Flata
- 11:53, 4 February 2013 (diff | hist) . . (+4,813) . . N Flata (Created page with "File:Octahedron.gif '''FLATA''' is a toolset for the manipulation and the analysis of non-deterministic integer programs (also known as counter automata). ...")
- 11:33, 4 February 2013 (diff | hist) . . (0) . . N File:Octahedron.gif (current)
- 17:20, 31 January 2013 (diff | hist) . . (-3) . . Main Page (Undo revision 40 by Konecny (talk))
- 17:19, 31 January 2013 (diff | hist) . . (+3) . . Main Page (→NTS-lib)
- 17:19, 31 January 2013 (diff | hist) . . (+16) . . Main Page (→NTS-lib)
- 17:18, 31 January 2013 (diff | hist) . . (-9) . . Main Page (→NTS-lib)
- 17:17, 31 January 2013 (diff | hist) . . (+27) . . Main Page (→NTS-lib)
- 17:15, 31 January 2013 (diff | hist) . . (0) . . N File:Java-nts.tar.gz (current)
- 16:52, 31 January 2013 (diff | hist) . . (0) . . N File:Ntslib.pdf
