BibTeX record conf/seke/TsaiXZM93

download as .bib file

@inproceedings{DBLP:conf/seke/TsaiXZM93,
  author    = {Wei{-}Tek Tsai and
               Weiwen Xie and
               Imran A. Zualkernan and
               Satish K. Musukula},
  title     = {A Framework for Systematic Testing of Software Specifications},
  booktitle = {SEKE'93, The 5th International Conference on Software Engineering
               and Knowledge Engineering, Tutorials, June 14-15, 1993, Technical
               Program, June 16-18, 1993, Hotel Sofitel, San Francisco Bay, {USA}},
  pages     = {380--387},
  year      = {1993},
  crossref  = {DBLP:conf/seke/1993},
  timestamp = {Wed, 21 Feb 2007 11:27:24 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/seke/TsaiXZM93},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/seke/1993,
  title     = {SEKE'93, The 5th International Conference on Software Engineering
               and Knowledge Engineering, Tutorials, June 14-15, 1993, Technical
               Program, June 16-18, 1993, Hotel Sofitel, San Francisco Bay, {USA}},
  publisher = {Knowledge Systems Institute},
  year      = {1993},
  timestamp = {Wed, 21 Feb 2007 11:27:24 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/seke/1993},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}