DBLP Record 'conf/icse/Ardis94'

BibTeX

@inproceedings{DBLP:conf/icse/Ardis94,
  author    = {Mark A. Ardis},
  title     = {Lessons from Using Basic LOTOS},
  booktitle = {ICSE},
  year      = {1994},
  pages     = {5-14},
  ee        = {http://portal.acm.org/citation.cfm?id=257734.257736},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}