Cited By
View all- Kember MTran LGao GDay NChechik MStrüber DVarró D(2019)Extracting counterexamples from transitive-closure-based model checkingProceedings of the 11th International Workshop on Modelling in Software Engineerings10.1109/MiSE.2019.00015(47-54)Online publication date: 26-May-2019
- Ji YLiu HHuang H(2018)iSpanProceedings of the International Conference for High Performance Computing, Networking, Storage, and Analysis10.5555/3291656.3291734(1-12)Online publication date: 11-Nov-2018
- Ji YLiu HHuang H(2018)iSpanProceedings of the International Conference for High Performance Computing, Networking, Storage, and Analysis10.1109/SC.2018.00061(1-12)Online publication date: 11-Nov-2018
- Show More Cited By