<?xml version="1.0"?>

 <rdf:Description xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dc="http://purl.org/dc/elements/1.1/">
  <dc:title>Temporal Logic and State Systems</dc:title>
  <dc:creator>
   Fred Kroger
   Pengarang
  </dc:creator>
  <dc:creator>
   Stephan Merz
   Pengarang
  </dc:creator>
  <dc:type>text</dc:type>
  <dc:language>|  </dc:language>
  <dc:subject>logic programming</dc:subject>
  <dc:identifier>URN:ISBN:978-3-540-68635-4</dc:identifier>
</rdf:Description>