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