Various files from my computer science studies.

      Name                                                                  Last modified      Size  Description
Parent Directory - Slides_and_afls/ 12-Oct-2009 13:39 - ltsatool/ 28-Aug-2008 11:43 - Thread.java 29-Oct-2008 08:06 84 The.MIT.Press.Principles.of.Model.Checking.May.2008.eBook.pdf.zip.pgp 02-Jan-2009 13:56 5.6M GAME.pct 28-Aug-2008 11:41 1.5K clock_radio.lts 28-Aug-2008 11:40 82
Apache Server at kurser.lobner.dk Port 80