Journal article

Title:
Model Checking of Concurrent Programs with Static Analysis of Field Accesses
Authors:
Pavel Parízek, Ondrej Lhoták
Publication:
Sci. Comput. Program.
DOI:
Year:
2015
Link:

BibTeX:
@article{parizek_model_2015,
    title = {{Model Checking of Concurrent Programs with Static Analysis of Field Accesses}},
    author = {Parízek, Pavel and Lhoták, Ondrej},
    year = {2015},
    journal = {{Sci. Comput. Program.}},
    doi = {10.1016/j.scico.2014.10.008},
    pages = {735--763},
    url = {https://doi.org/10.1016/j.scico.2014.10.008},
    volume = {98},
}