Modeling Environment for Component Model Checking from Hierarchical Architecture.

Journal article

Title:

Authors:

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

Publication:

Electr. Notes Theor. Comput. Sci. 182

DOI:

10.1016/j.entcs.2006.09.036

Year:

2007

Link:

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

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},
}