A Specification-Based Approach to Concurrency Analysis - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Ugo A. Buy, Robert Moll. A Specification-Based Approach to Concurrency Analysis. Automated Software Engineering, 2(4):265-309, 1995.

@article{BuyM95,
  title = {A Specification-Based Approach to Concurrency Analysis},
  author = {Ugo A. Buy and Robert Moll},
  year = {1995},
  tags = {rule-based, analysis, systematic-approach},
  researchr = {https://researchr.org/publication/BuyM95},
  cites = {0},
  citedby = {0},
  journal = {Automated Software Engineering},
  volume = {2},
  number = {4},
  pages = {265-309},
}

runs on WebDSL