@techreport{
    VrpHaHiPy95,
    author = "Varpaaniemi, Kimmo and Halme, Jaakko and Hiekkanen, Kari and Pyssysalo, Tino",
    ps = "B13.ps",
    title = "{P}{R}{O}{D} Reference Manual",
    url = "http://users.tkk.fi/~kvarpaan/HUT-TCS-B13-changes.html",
    abstract = "PROD is a Pr/T-net reachability analysis tool that supports on-the-fly verification of linear time temporal properties with the aid of the stubborn set method. Branching time temporal properties can be verified, too.",
    address = "Espoo, Finland",
    number = "B13",
    month = "August",
    flags = "public,copy",
    pages = "56",
    year = "1995",
    keywords = "Pr/T-nets, on-the-fly verification, stubborn sets",
    pdf = "B13.pdf",
    type = "Technical Report",
    institution = "Digital Systems Laboratory, Helsinki University of Technology",
    errata = "http://users.tkk.fi/~kvarpaan/HUT-TCS-B13-errata.html"
}