%0 Journal Article %1 journals/tc/Hoffman85 %A Hoffman, Daniel %D 1985 %J IEEE Trans. Computers %K dblp %N 12 %P 1102-1113 %T The Trace Specification of Communications Protocols. %U http://dblp.uni-trier.de/db/journals/tc/tc34.html#Hoffman85 %V 34

@article{journals/tc/Hoffman85, added-at = {2015-12-22T00:00:00.000+0100}, author = {Hoffman, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/2706a9fbabfa11aec1c36a6e3d6a98703/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TC.1985.6312209}, interhash = {15feb9b798c6add09284c41df6e6453b}, intrahash = {706a9fbabfa11aec1c36a6e3d6a98703}, journal = {IEEE Trans. Computers}, keywords = {dblp}, number = 12, pages = {1102-1113}, timestamp = {2015-12-24T12:00:40.000+0100}, title = {The Trace Specification of Communications Protocols.}, url = {http://dblp.uni-trier.de/db/journals/tc/tc34.html#Hoffman85}, volume = 34, year = 1985 }