Back
@inproceedings{KrW94a, author = {Finn Kristoffersen and Thomas Walter}, title = {TTCN test case correctness validation}, address = {Tokyo}, booktitle = {International Workshop on Protocol Test Systems VII}, month = {Nov}, year = {1994} }