Proceedings of the Ninth International Workshop on Protocol Test Systems
IWPTS, 1996.
@proceedings{IWPTS-1996,
address = "Darmstadt, Germany",
title = "{Proceedings of the Ninth International Workshop on Protocol Test Systems}",
year = 1996,
}