Journal article

Title:
Modeling Environment for Component Model Checking from Hierarchical Architecture.
Authors:
Publication:
Electr. Notes Theor. Comput. Sci. 182
DOI:
Year:
2007
Link:

BibTeX:
@article{parizek_modeling_2007,
    title = {{Modeling Environment for Component Model Checking from Hierarchical Architecture.}},
    author = {Parízek, Pavel and Plasil, Frantisek},
    year = {2007},
    journal = {{Electr. Notes Theor. Comput. Sci.}},
    doi = {10.1016/j.entcs.2006.09.036},
    pages = {139--153},
    url = {https://doi.org/10.1016/j.entcs.2006.09.036},
    volume = {182},
}