TCS / Research / Publications / Design and Implementation of a Reduction Tool for PrT-Nets
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

Design and Implementation of a Reduction Tool for PrT-Nets

Reference:

Marko Rauhamaa. Design and implementation of a reduction tool for PrT-nets. Technical Report B6, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, December 1988.

Suggested BibTeX entry:

@techreport{HUT-TCS-B6,
    address = {Espoo, Finland},
    author = {Marko Rauhamaa},
    institution = {Helsinki University of Technology, Digital Systems Laboratory},
    month = {December},
    number = {B6},
    pages = {13},
    title = {Design and Implementation of a Reduction Tool for {P}r{T}-Nets},
    type = {Technical Report},
    year = {1988},
}

This work is not available online here.

[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 19 January 2010.