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},
}