E-Process Design and Assurance Using Model Checking

@article{Wang2000EProcessDA,
  title={E-Process Design and Assurance Using Model Checking},
  author={Wenli Wang and Zolt{\'a}n Hidv{\'e}gi and Andrew D. Bailey and Andrew B. Whinston},
  journal={IEEE Computer},
  year={2000},
  volume={33},
  pages={48-53}
}
Highly Cited
This paper has 47 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…