Maria: The Modular Reachability Analyzer

Reference:

Marko Mäkelä, Kimmo Varpaaniemi, and Timo Latvala. Maria: The modular reachability analyzer. on the World Wide Web, 2000. computer program.

Suggested BibTeX entry:

@misc{MakelaMarko-Makela:sw-maria,
    author = {Marko M{\"a}kel{\"a} and Kimmo Varpaaniemi and Timo Latvala},
    howpublished = {on the World Wide Web},
    note = {computer program},
    title = {Maria: The Modular Reachability Analyzer},
    year = {2000},
}