TCS / Research / Publications / An Interactive PrT-Net Tool for Verification of SDL-Specifications
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

An Interactive PrT-Net Tool for Verification of SDL-Specifications

Reference:

Esa Kettunen, Esa Montonen, and Timo Tuuliniemi. An interactive PrT-net tool for verification of SDL-specifications. Technical Report B3, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, February 1988.

Suggested BibTeX entry:

@techreport{HUT-TCS-B3,
    address = {Espoo, Finland},
    author = {Esa Kettunen and Esa Montonen and Timo Tuuliniemi},
    institution = {Helsinki University of Technology, Digital Systems Laboratory},
    month = {February},
    number = {B3},
    pages = {43},
    title = {An Interactive {P}r{T}-Net Tool for Verification of {S}{D}{L}-Specifications},
    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.