SPCHECK: A Specification-Based Tool for INterface Checking of Large, Real-Time/Distributed Systems - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Lap-Ming Liu, N. S. Pryes. SPCHECK: A Specification-Based Tool for INterface Checking of Large, Real-Time/Distributed Systems. In IFIP Congress. pages 55-60, 1989.

@inproceedings{LiuP89,
  title = {SPCHECK: A Specification-Based Tool for INterface Checking of Large, Real-Time/Distributed Systems},
  author = {Lap-Ming Liu and N. S. Pryes},
  year = {1989},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/LiuP89},
  cites = {0},
  citedby = {0},
  pages = {55-60},
  booktitle = {IFIP Congress},
}

runs on WebDSL