@Misc{Wolisz2000,
  author       = {Adam Wolisz and Ina Kathrin Schieferdecker},
  howpublished = {Invited Talk, Focus 2000, Clermont Hotel, Berkeley, CA, USA},
  title        = {Specification-based Testing of Communication Protocols},
  year         = {2000},
  date         = {2000-06-01},
  type     = {presentation}
}