scheck1.1

Reference:

Timo Latvala. scheck1.1. Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, 2003. Software.

Suggested BibTeX entry:

@misc{Lat03b,
    author = {Timo Latvala},
    howpublished = {Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland},
    note = {Software},
    title = {scheck1.1},
    year = {2003},
}