%0 Conference Paper %1 conf/pstv/YaoPB93 %A Yao, Ming Yu %A Petrenko, Alexandre %A von Bochmann, Gregor %B PSTV %D 1993 %E Danthine, André A. S. %E Leduc, Guy %E Wolper, Pierre %I North-Holland %K dblp %P 241-256 %T Conformance Testing of Protocol Machines without Reset. %U http://dblp.uni-trier.de/db/conf/pstv/pstv1993.html#YaoPB93 %V C-16 %@ 0-444-81648-8

@inproceedings{conf/pstv/YaoPB93, added-at = {2005-05-02T00:00:00.000+0200}, author = {Yao, Ming Yu and Petrenko, Alexandre and von Bochmann, Gregor}, biburl = {https://www.bibsonomy.org/bibtex/2f0ce52d15edc632ae9a11133c8bf60f7/dblp}, booktitle = {PSTV}, crossref = {conf/pstv/1993}, date = {2005-05-02}, description = {dblp}, editor = {Danthine, André A. S. and Leduc, Guy and Wolper, Pierre}, interhash = {f4ea2f46c7b21b2f1695d76bf9dd265e}, intrahash = {f0ce52d15edc632ae9a11133c8bf60f7}, isbn = {0-444-81648-8}, keywords = {dblp}, pages = {241-256}, publisher = {North-Holland}, series = {IFIP Transactions}, timestamp = {2005-05-02T00:00:00.000+0200}, title = {Conformance Testing of Protocol Machines without Reset.}, url = {http://dblp.uni-trier.de/db/conf/pstv/pstv1993.html#YaoPB93}, volume = {C-16}, year = 1993 }