PROD 1.1 — A Pr/T reachability analysis tool.

Reference:

Kimmo Varpaaniemi, Johannes Helander, Tomi Janhunen, Ismo Kangas, Kari Nurmela, Kenneth Oksanen, Olavi Pesonen, Marko Rauhamaa, James Reilly, Heikki Suonsivu, Kimmo Valkealahti, Pauli Väisänen, Peter Grönberg, Jaakko Halme, Kari Hiekkanen, Tino Pyssysalo, and Mikko Tiusanen. PROD 1.1 — A Pr/T reachability analysis tool.. http://www.tcs.hut.fi/Software/prod/, 1993. Computer Program.

Suggested BibTeX entry:

@misc{PROD93,
    author = {Kimmo Varpaaniemi and Johannes Helander and Tomi Janhunen and Ismo Kangas and Kari Nurmela and Kenneth Oksanen and Olavi Pesonen and Marko Rauhamaa and James Reilly and Heikki Suonsivu and Kimmo Valkealahti and Pauli V{\"a}is{\"a}nen and Peter Gr{\"o}nberg and Jaakko Halme and Kari Hiekkanen and Tino Pyssysalo and Mikko Tiusanen},
    howpublished = {http://www.tcs.hut.fi/Software/prod/},
    note = {Computer Program},
    title = {{PROD} 1.1 --- {A} {P}r/{T} reachability analysis tool.},
    year = {1993},
}

See www.tcs.hut.fi ...