Various files from my computer science studies.

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