A Semantics Based Verification Tool for Finite State Systems

@inproceedings{Cleaveland1989ASB,
  title={A Semantics Based Verification Tool for Finite State Systems},
  author={Rance Cleaveland and Joachim Parrow and Bernhard Steffen},
  booktitle={PSTV},
  year={1989}
}

Similar Papers

Loading similar papers…