Back
@inproceedings{WAL90c, author = {Thomas Walter}, title = {OSI Conformance Testing - A formal Approach}, booktitle = {CH-LOTOS Workshop}, month = {Jan}, year = {1990} }