<oai_dc:dc xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd">
  <dc:creator>Hojjat, Hossein</dc:creator>
  <dc:creator>Mousavi, Mohammad Reza</dc:creator>
  <dc:creator>Sirjani, Marjan</dc:creator>
  <dc:identifier>https://sonar.ch/global/documents/282312</dc:identifier>
  <dc:language>eng</dc:language>
  <dc:relation>info:eu-repo/semantics/altIdentifier/doi/10.3233/fi-2011-391</dc:relation>
  <dc:relation>info:eu-repo/semantics/altIdentifier/issn/0169-2968</dc:relation>
  <dc:source>Fundamenta Informaticae. - IOS Press. - 2011, vol. 107, no. 1, p. 19-42</dc:source>
  <dc:subject xmlns:ns0="xml" ns0:lang="en">Theoretical Computer Science</dc:subject>
  <dc:subject xmlns:ns1="xml" ns1:lang="en">Computational Theory and Mathematics</dc:subject>
  <dc:subject xmlns:ns2="xml" ns2:lang="en">Algebra and Number Theory</dc:subject>
  <dc:subject xmlns:ns3="xml" ns3:lang="en">Information Systems</dc:subject>
  <dc:title xmlns:ns4="xml" ns4:lang="en">Formal Analysis of SystemC Designs in Process Algebra</dc:title>
  <dc:type>http://purl.org/coar/resource_type/c_6501</dc:type>
</oai_dc:dc>