User contributions
- 18:51, 4 September 2013 (diff | hist) . . (+11) . . Flata (→Decision Procedure for the SAT problem of the Logic SIL)
- 18:48, 4 September 2013 (diff | hist) . . (-32) . . Flata (→Decision Procedure for the SAT problem of the Logic SIL)
- 18:02, 4 September 2013 (diff | hist) . . (0) . . File:Flata.tar.gz (Konecny uploaded a new version of "File:Flata.tar.gz") (current)
- 18:00, 4 September 2013 (diff | hist) . . (0) . . File:Flata.tar.gz (Konecny uploaded a new version of "File:Flata.tar.gz")
- 15:16, 3 September 2013 (diff | hist) . . (0) . . File:Flata.tar.gz (Konecny uploaded a new version of "File:Flata.tar.gz")
- 14:49, 3 September 2013 (diff | hist) . . (+814) . . Flata
- 17:47, 24 June 2013 (diff | hist) . . (0) . . File:Ntslib.pdf (Konecny uploaded a new version of "File:Ntslib.pdf") (current)
- 18:15, 2 April 2013 (diff | hist) . . (0) . . N File:Sil-examples.tar.gz (current)
- 18:15, 2 April 2013 (diff | hist) . . (0) . . N File:Sil.tar.gz (current)
- 13:33, 15 March 2013 (diff | hist) . . (0) . . File:Flata.tar.gz (Konecny uploaded a new version of "File:Flata.tar.gz")
- 13:17, 15 March 2013 (diff | hist) . . (0) . . File:Flata.tar.gz (Konecny uploaded a new version of "File:Flata.tar.gz")
- 19:57, 4 March 2013 (diff | hist) . . (-1) . . Flata
- 10:10, 13 February 2013 (diff | hist) . . (0) . . Flata
- 12:25, 5 February 2013 (diff | hist) . . (+4) . . Flata
- 17:22, 4 February 2013 (diff | hist) . . (+63) . . Flata
- 17:12, 4 February 2013 (diff | hist) . . (+9) . . Flata
- 17:10, 4 February 2013 (diff | hist) . . (0) . . N File:Flata.tar.gz
- 17:06, 4 February 2013 (diff | hist) . . (0) . . N File:Octahedron.png (current)
- 17:02, 4 February 2013 (diff | hist) . . (+1,422) . . Flata
- 17:00, 4 February 2013 (diff | hist) . . (0) . . N File:Fm12.pdf
- 16:57, 4 February 2013 (diff | hist) . . (0) . . N File:Cav10.pdf
- 16:51, 4 February 2013 (diff | hist) . . (0) . . N File:Flata.gz (current)
- 15:29, 4 February 2013 (diff | hist) . . (+6) . . Flata
- 14:30, 4 February 2013 (diff | hist) . . (0) . . N File:Octaheron.png (current)
- 13:31, 4 February 2013 (diff | hist) . . (-954) . . Flata
- 12: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). ...")
- 12:33, 4 February 2013 (diff | hist) . . (0) . . N File:Octahedron.gif (current)
- 18:20, 31 January 2013 (diff | hist) . . (-3) . . Main Page (Undo revision 40 by Konecny (talk))
- 18:19, 31 January 2013 (diff | hist) . . (+3) . . Main Page (→NTS-lib)
- 18:19, 31 January 2013 (diff | hist) . . (+16) . . Main Page (→NTS-lib)
- 18:18, 31 January 2013 (diff | hist) . . (-9) . . Main Page (→NTS-lib)
- 18:17, 31 January 2013 (diff | hist) . . (+27) . . Main Page (→NTS-lib)
- 18:15, 31 January 2013 (diff | hist) . . (0) . . N File:Java-nts.tar.gz (current)
- 17:52, 31 January 2013 (diff | hist) . . (0) . . N File:Ntslib.pdf