Reference:
Peter Grönberg, Mikko Tiusanen, and Kimmo Varpaaniemi. PROD – a PrT–net reachability analysis tool. Technical Report B11, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, June 1993.
Suggested BibTeX entry:
@techreport{HUT-TCS-B11,
address = {Espoo, Finland},
author = {Peter Gr{\"o}nberg and Mikko Tiusanen and Kimmo Varpaaniemi},
institution = {Helsinki University of Technology, Digital Systems Laboratory},
month = {June},
number = {B11},
pages = {44},
title = {{P}{R}{O}{D} -- A {P}r{T}--Net Reachability Analysis Tool},
type = {Technical Report},
year = {1993},
}
|