@inproceedings{VSchuppanABiere-FireWireWS-2001,
  author   = {Viktor Schuppan and Armin Biere},
  title    = {A Simple Verification of the {Tree Identify Protocol} with {SMV}},
  pages    = {31--34},
  crossref = {FireWireWS-2001},
}

@proceedings{FireWireWS-2001,
  editor    = {Savi Maharaj and Judi Romijn and Carron Shankland},
  title     = {International Workshop on Application of Formal Methods to IEEE 1394 Standard, Berlin, Germany, March 13, 2001, Proceedings},
  booktitle = {FireWire Workshop},
  publisher = {Department of Computing Science and Mathematics, University of Stirling},
  year      = {2001},
  isbn      = {1-85769-1539},
}