Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
implementations:kics [2015-01-08 10:27] mh |
implementations:kics [2015-01-08 12:11] mh |
||
---|---|---|---|
Line 5: | Line 5: | ||
It is no longer maintained. Nevetheless, you find here some hints to use an old version of KiCS. | It is no longer maintained. Nevetheless, you find here some hints to use an old version of KiCS. | ||
- | ===== The KiCS User Manual (also included in distribution) ===== | + | ===== The KiCS User Manual (also included in the distribution) ===== |
* [[http://www-ps.informatik.uni-kiel.de/~bbr/kics/UserManual.html | User Manual (html)]] | * [[http://www-ps.informatik.uni-kiel.de/~bbr/kics/UserManual.html | User Manual (html)]] | ||
* [[http://www-ps.informatik.uni-kiel.de/~bbr/download/UserManual.pdf | User Manual (pdf)]] | * [[http://www-ps.informatik.uni-kiel.de/~bbr/download/UserManual.pdf | User Manual (pdf)]] |