Two Techniques of Parameterized Model Checking and Symmetry Reduction (bibtex)
by Igor V. Konnov
Reference:
Two Techniques of Parameterized Model Checking and Symmetry ReductionIgor V. Konnov2011, Talk at the ARiSE seminar, April 21, 2011.
Bibtex Entry:
@misc{K11,
    author = {Igor V. Konnov},
    title = {Two Techniques of Parameterized Model Checking and Symmetry Reduction},
    howpublished = {Talk at the ARiSE seminar, April 21, 2011},
    year = {2011},
}
Powered by bibtexbrowser