Specification and Generation of Environment for Model Checking of Software Components.

Journal article

Title:

Authors:

P. Parízek, F. Plášil

Publication:

Electr. Notes Theor. Comput. Sci. 176 (2)

DOI:

10.1016/j.entcs.2006.02.036

Year:

2007

Link:

https://doi.org/10.1016/j.entcs.2006.02.036

BibTeX:

@article{parizek_specification_2007,
    title = {{Specification and Generation of Environment for Model Checking of Software Components.}},
    author = {Parízek, Pavel and Plasil, Frantisek},
    year = {2007},
    journal = {{Electr. Notes Theor. Comput. Sci.}},
    number = {2},
    doi = {10.1016/j.entcs.2006.02.036},
    pages = {143--154},
    url = {https://doi.org/10.1016/j.entcs.2006.02.036},
    volume = {176},
}