Technical report

Title:
Software Component Verification: On Translating Behavior Protocols to Promela
Authors:
Publication:
Technical report no. 2006/11, Department of Software Engineering, Charles University
Year:
2006
Fulltext:

BibTeX:
@techreport{kofron_software_report_2006,
    title = {{Software Component Verification: On Translating Behavior Protocols to Promela}},
    author = {Kofroň, Jan},
    year = {2006},
    institution = {Department of Software Engineering, Charles University},
    number = {2006/11},
}