Alexandre Petrenko, Rachida Dssouli, Hartmut König
On Evaluation of Testability of Protocol Structures
ICTSS, 1993.
@inproceedings{IWPTS-1993-PetrenkoDK,
author = "Alexandre Petrenko and Rachida Dssouli and Hartmut König",
booktitle = "{Proceedings of the Sixth International Workshop on Protocol Test Systems}",
isbn = "0-444-81697-6",
pages = "111--124",
publisher = "{North-Holland}",
series = "{IFIP Transactions}",
title = "{On Evaluation of Testability of Protocol Structures}",
volume = "C-19",
year = 1993,
}