Gang Luo, Anindya Das, Gregor von Bochmann
Generating Tests for Control Portion of SDL Specifications
ICTSS, 1993.
@inproceedings{IWPTS-1993-LuoDB, author = "Gang Luo and Anindya Das and Gregor von Bochmann", booktitle = "{Proceedings of the Sixth International Workshop on Protocol Test Systems}", isbn = "0-444-81697-6", pages = "51--66", publisher = "{North-Holland}", series = "{IFIP Transactions}", title = "{Generating Tests for Control Portion of SDL Specifications}", volume = "C-19", year = 1993, }