Wikidata

(Q124953784)

English

Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker

scientific article published in 2008

In more languages
default for all languages
No label defined

No description defined

Statements

title
Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker (English)
1 reference
stated in
Crossref
DOI
10.4236/jsea.2008.11003
reference URL
https://api.crossref.org/v1/works/https://doi.org/10.4236/jsea.2008.11003
retrieved
17 March 2024

Identifiers

 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  edit
                    Retrieved from "https://www.wikidata.org/w/index.php?title=Q124953784&oldid=2238780024"