|
@techreport{KRI94b, author = {Finn Kristoffersen and Thomas Walter}, title = {Test Case Validation - TTCN Test Case Validation Against SDL Specifications}, institution = {Computer Engineering and Networks Lab (TIK), Swiss Federal Institute of Technology (ETH) Zurich}, number = {8}, month = {Jan}, year = {1994} }