<?xml version="1.0" encoding="utf-8"?>
<export-example>
  <doc>
    <id>4434</id>
    <completedYear/>
    <publishedYear>2008</publishedYear>
    <thesisYearAccepted/>
    <language>eng</language>
    <pageFirst/>
    <pageLast/>
    <pageNumber/>
    <edition/>
    <issue/>
    <volume/>
    <type>conferenceobject</type>
    <publisherName/>
    <publisherPlace/>
    <creatingCorporation/>
    <contributingCorporation/>
    <belongsToBibliography>0</belongsToBibliography>
    <completedDate>2010-03-25</completedDate>
    <publishedDate>--</publishedDate>
    <thesisDateAccepted>--</thesisDateAccepted>
    <title language="eng">Designing and Verifying Communication Protocols using Model Driven Architecture and Spin Model Checker</title>
    <enrichment key="UBICOIdent">005221</enrichment>
    <enrichment key="UBICOquelle">Proceedings of the IEEE International Conference on Computer Science and Software Engineering (CSSE 2008), Wuhan, China, Dec. 2008. - Piscataway, NJ : IEEE, 2008, S. 227 - 230, 978-0-7695-3336-0</enrichment>
    <author>
      <firstName>Prabhu Shankar</firstName>
      <lastName>Kaliappan</lastName>
    </author>
    <submitter>
      <firstName>...</firstName>
      <lastName>Administrator</lastName>
    </submitter>
    <author>
      <firstName>Hartmut</firstName>
      <lastName>König</lastName>
    </author>
    <author>
      <firstName>V. K.</firstName>
      <lastName>Kaliappan</lastName>
    </author>
    <collection role="old_institute" number="01041">LS Rechnernetze und Kommunikationssysteme</collection>
    <collection role="institutes" number="1203">FG Rechnernetze und Kommunikationssysteme</collection>
  </doc>
</export-example>
