DBLP Record 'conf/ifip/LiuP89'

BibTeX

@inproceedings{DBLP:conf/ifip/LiuP89,
  author    = {Lap-Ming Liu and
               N. S. Pryes},
  title     = {SPCHECK: A Specification-Based Tool for INterface Checking
               of Large, Real-Time/Distributed Systems},
  booktitle = {IFIP Congress},
  year      = {1989},
  pages     = {55-60},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}