Technical report

Title:
Refinement between TBP and Java Implementation of Components
Authors:
Jan Kofroň, Pavel Jančík, Pavel Parízek
Publication:
Technical report no. 2011/5, Department of Distributed and Dependable Systems, Charles University
Year:
2011
Fulltext:

BibTeX:
@techreport{kofron_refinement_report_2011,
    title = {{Refinement between TBP and Java Implementation of Components}},
    author = {Kofroň, Jan and Jančík, Pavel and Parízek, Pavel},
    year = {2011},
    institution = {Department of Distributed and Dependable Systems, Charles University},
    number = {2011/5},
}