Symbolic Model-Checking Using ITS-Tools

@inproceedings{ThierryMieg2015SymbolicMU,
  title={Symbolic Model-Checking Using ITS-Tools},
  author={Yann Thierry-Mieg},
  booktitle={TACAS},
  year={2015}
}

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 15 extracted citations

Similar Papers

Loading similar papers…