<?xml version="1.0" encoding="UTF-8"?>
<rdf:RDF
 xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
 xmlns="http://purl.org/rss/1.0/"
 xmlns:cc="http://web.resource.org/cc/"
 xmlns:taxo="http://purl.org/rss/1.0/modules/taxonomy/"
 xmlns:dc="http://purl.org/dc/elements/1.1/"
 xmlns:syn="http://purl.org/rss/1.0/modules/syndication/"
 xmlns:content="http://purl.org/rss/1.0/modules/content/"
 xmlns:admin="http://webns.net/mvcb/"
>

<channel rdf:about="http://www.bibsonomy.org/author/Heyman">
  <title>BibSonomy publications for /author/Heyman</title>
  <link>http://www.bibsonomy.org/author/Heyman</link>
  <description>BibSonomy RSS Feed for /author/Heyman</description>

  <items>
    <rdf:Seq>
      <rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/228d422ef0ab3fd6c8370fcffc514a688/brian.mingus"/>
      <rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2e6102b2f754780ec6dfb2a81a758efa0/brian.mingus"/>
      <rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/279d49b02cb379880984f7b22d5e976db/fbw"/>
      <rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/297676b8342a4bb2f975dbf3ad46294be/dblp"/>
      <rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/217a6cc09983f74ce4e5e6ab45b8810be/smicha"/>
      <rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/25ce15699133c295af4a638bc4231fd64/dblp"/>
      <rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/277f099c343538be7cce6fb1b92fdcc6b/dblp"/>
      <rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/23f2c3caaaf5d8772829fc389dd4b3090/dblp"/>
      <rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2c51fe7bf3eea1f9f3300925bcbd23176/rosag"/>
      <rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2c1efb047ff2750d07efe3cb6584b1c1c/dblp"/>
      </rdf:Seq>
  </items>
</channel>

<item rdf:about="http://www.bibsonomy.org/bibtex/228d422ef0ab3fd6c8370fcffc514a688/brian.mingus">
    <title>How to teach a pigeon to maximize overall reinforcement rate</title>
    <description>CCNLab BibTeX</description>
    <link>http://www.bibsonomy.org/bibtex/228d422ef0ab3fd6c8370fcffc514a688/brian.mingus</link>
    <dc:creator>brian.mingus</dc:creator>
    <dc:date>2008-09-16T23:39:07+02:00</dc:date>
    <dc:subject>
      CCP JRR, Matching choice, concurrent key law, maximizing, overall peck, pigeons, rate, rational reinforcement relative schedule, variable-interval </dc:subject>
    <content:encoded><![CDATA[
    <link rel="stylesheet" href="http://www.bibsonomy.org/resources/css/rss.css" type="text/css"/>
    <div class="block">
      <div class="bmtitle">

  <a href="http://www.bibsonomy.org/bibtex/228d422ef0ab3fd6c8370fcffc514a688/brian.mingus">How to teach a pigeon to maximize overall reinforcement rate</a>
</div>
<div class="bmdesc">
  <span style="color:#555555;"> 
    G. M. <a href="http://www.bibsonomy.org/author/Heyman">Heyman</a>         	     	 
        	  and L. <a href="http://www.bibsonomy.org/author/Tanz">Tanz</a>         	     	 
        	 </span> 
  <em>Journal of the Experimental Analysis of Behavior</em>
      <b>64</b>
      277-297
  (1995)
</div>
<span class="bmmeta">
  
  
        to
        <span class="bmtags">
        <a href="http://www.bibsonomy.org/user/brian.mingus/CCP">CCP</a>
        <a href="http://www.bibsonomy.org/user/brian.mingus/JRR%2C">JRR,</a>
        <a href="http://www.bibsonomy.org/user/brian.mingus/Matching">Matching</a>
        <a href="http://www.bibsonomy.org/user/brian.mingus/choice%2C">choice,</a>
        <a href="http://www.bibsonomy.org/user/brian.mingus/concurrent">concurrent</a>
        <a href="http://www.bibsonomy.org/user/brian.mingus/key">key</a>
        <a href="http://www.bibsonomy.org/user/brian.mingus/law%2C">law,</a>
        <a href="http://www.bibsonomy.org/user/brian.mingus/maximizing%2C">maximizing,</a>
        <a href="http://www.bibsonomy.org/user/brian.mingus/overall">overall</a>
        <a href="http://www.bibsonomy.org/user/brian.mingus/peck%2C">peck,</a>
        <a href="http://www.bibsonomy.org/user/brian.mingus/pigeons%2C">pigeons,</a>
        <a href="http://www.bibsonomy.org/user/brian.mingus/rate%2C">rate,</a>
        <a href="http://www.bibsonomy.org/user/brian.mingus/rational">rational</a>
        <a href="http://www.bibsonomy.org/user/brian.mingus/reinforcement">reinforcement</a>
        <a href="http://www.bibsonomy.org/user/brian.mingus/relative">relative</a>
        <a href="http://www.bibsonomy.org/user/brian.mingus/schedule%2C">schedule,</a>
        <a href="http://www.bibsonomy.org/user/brian.mingus/variable-interval">variable-interval</a>
        </span>
        

          by <a href="http://www.bibsonomy.org/user/brian.mingus">brian.mingus</a> 
        
        
        on 2008-09-16 23:39:07 </span></div>
    ]]>
    </content:encoded>
    <taxo:topics>
      <rdf:Bag>
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/CCP" />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/JRR," />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/Matching" />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/choice," />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/concurrent" />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/key" />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/law," />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/maximizing," />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/overall" />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/peck," />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/pigeons," />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/rate," />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/rational" />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/reinforcement" />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/relative" />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/schedule," />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/variable-interval" />
        </rdf:Bag>
    </taxo:topics>
  </item>
<item rdf:about="http://www.bibsonomy.org/bibtex/2e6102b2f754780ec6dfb2a81a758efa0/brian.mingus">
    <title>Achievement goals and instrinsic motivation: Their relation and their role in adaptive motivation</title>
    <description>CCNLab BibTeX</description>
    <link>http://www.bibsonomy.org/bibtex/2e6102b2f754780ec6dfb2a81a758efa0/brian.mingus</link>
    <dc:creator>brian.mingus</dc:creator>
    <dc:date>2008-09-16T23:39:07+02:00</dc:date>
    <dc:subject>
      CCP JRR, motivation patterns,, </dc:subject>
    <content:encoded><![CDATA[
    <link rel="stylesheet" href="http://www.bibsonomy.org/resources/css/rss.css" type="text/css"/>
    <div class="block">
      <div class="bmtitle">

  <a href="http://www.bibsonomy.org/bibtex/2e6102b2f754780ec6dfb2a81a758efa0/brian.mingus">Achievement goals and instrinsic motivation: Their relation and their role in adaptive motivation</a>
</div>
<div class="bmdesc">
  <span style="color:#555555;"> 
    G. D. <a href="http://www.bibsonomy.org/author/Heyman">Heyman</a>         	     	 
        	  and C. S. <a href="http://www.bibsonomy.org/author/Dweck">Dweck</a>         	     	 
        	 </span> 
  <em>Motivation and Emotion</em>
      <b>16</b>
      231-247
  (1992)
</div>
<span class="bmmeta">
  
  
        to
        <span class="bmtags">
        <a href="http://www.bibsonomy.org/user/brian.mingus/CCP">CCP</a>
        <a href="http://www.bibsonomy.org/user/brian.mingus/JRR%2C">JRR,</a>
        <a href="http://www.bibsonomy.org/user/brian.mingus/motivation">motivation</a>
        <a href="http://www.bibsonomy.org/user/brian.mingus/patterns%2C%2C">patterns,,</a>
        </span>
        

          by <a href="http://www.bibsonomy.org/user/brian.mingus">brian.mingus</a> 
        
        
        on 2008-09-16 23:39:07 </span></div>
    ]]>
    </content:encoded>
    <taxo:topics>
      <rdf:Bag>
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/CCP" />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/JRR," />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/motivation" />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/patterns,," />
        </rdf:Bag>
    </taxo:topics>
  </item>
<item rdf:about="http://www.bibsonomy.org/bibtex/279d49b02cb379880984f7b22d5e976db/fbw">
    <title>Stochastic models</title>
    <description>imported</description>
    <link>http://www.bibsonomy.org/bibtex/279d49b02cb379880984f7b22d5e976db/fbw</link>
    <dc:creator>fbw</dc:creator>
    <dc:date>2008-05-30T16:42:01+02:00</dc:date>
    <dc:subject>
      Operations_Research Stochastischer_Prozess Stochastisches_Modell </dc:subject>
    <content:encoded><![CDATA[
    <link rel="stylesheet" href="http://www.bibsonomy.org/resources/css/rss.css" type="text/css"/>
    <div class="block">
      <div class="bmtitle">

  <a href="http://www.bibsonomy.org/bibtex/279d49b02cb379880984f7b22d5e976db/fbw">Stochastic models</a>
</div>
<div class="bmdesc">
  <span style="color:#555555;"> 
    {Daniel P.} <a href="http://www.bibsonomy.org/author/Heyman">Heyman</a>         	     	 
        	 </span> 
  <em></em>
    
  (1990)
</div>
<span class="bmmeta">
  
  
        to
        <span class="bmtags">
        <a href="http://www.bibsonomy.org/user/fbw/Operations_Research">Operations_Research</a>
        <a href="http://www.bibsonomy.org/user/fbw/Stochastischer_Prozess">Stochastischer_Prozess</a>
        <a href="http://www.bibsonomy.org/user/fbw/Stochastisches_Modell">Stochastisches_Modell</a>
        </span>
        

          by <a href="http://www.bibsonomy.org/user/fbw">fbw</a> 
        
        
        on 2008-05-30 16:42:01 </span></div>
    ]]>
    </content:encoded>
    <taxo:topics>
      <rdf:Bag>
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/Operations_Research" />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/Stochastischer_Prozess" />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/Stochastisches_Modell" />
        </rdf:Bag>
    </taxo:topics>
  </item>
<item rdf:about="http://www.bibsonomy.org/bibtex/297676b8342a4bb2f975dbf3ad46294be/dblp">
    <title>Using Security Patterns to Combine Security Metrics.</title>
    <description>dblp</description>
    <link>http://www.bibsonomy.org/bibtex/297676b8342a4bb2f975dbf3ad46294be/dblp</link>
    <dc:creator>dblp</dc:creator>
    <dc:date>2008-05-11T00:00:00+02:00</dc:date>
    <dc:subject>
      dblp </dc:subject>
    <content:encoded><![CDATA[
    <link rel="stylesheet" href="http://www.bibsonomy.org/resources/css/rss.css" type="text/css"/>
    <div class="block">
      <div class="bmtitle">

  <a href="http://www.bibsonomy.org/bibtex/297676b8342a4bb2f975dbf3ad46294be/dblp">Using Security Patterns to Combine Security Metrics.</a>
</div>
<div class="bmdesc">
  <span style="color:#555555;"> 
    Thomas <a href="http://www.bibsonomy.org/author/Heyman">Heyman</a>         	     	 
        	  and Riccardo <a href="http://www.bibsonomy.org/author/Scandariato">Scandariato</a>         	     	 
        	  and Christophe <a href="http://www.bibsonomy.org/author/Huygens">Huygens</a>         	     	 
        	  and Wouter <a href="http://www.bibsonomy.org/author/Joosen">Joosen</a>         	     	 
        	 </span> 
  <em>ARES</em>
    1156-1163
  (2008)
</div>
<span class="bmmeta">
  
  
        to
        <span class="bmtags">
        <a href="http://www.bibsonomy.org/user/dblp/dblp">dblp</a>
        </span>
        

          by <a href="http://www.bibsonomy.org/user/dblp">dblp</a> 
        
        
        on 2008-05-11 00:00:00 </span></div>
    ]]>
    </content:encoded>
    <taxo:topics>
      <rdf:Bag>
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp" />
        </rdf:Bag>
    </taxo:topics>
  </item>
<item rdf:about="http://www.bibsonomy.org/bibtex/217a6cc09983f74ce4e5e6ab45b8810be/smicha">
    <title>Is there really a foreign ownership wage premium?: Evidence from matched employer-employee data</title>
    <description></description>
    <link>http://www.bibsonomy.org/bibtex/217a6cc09983f74ce4e5e6ab45b8810be/smicha</link>
    <dc:creator>smicha</dc:creator>
    <dc:date>2008-04-22T15:17:45+02:00</dc:date>
    <dc:subject>
      FDI </dc:subject>
    <content:encoded><![CDATA[
    <link rel="stylesheet" href="http://www.bibsonomy.org/resources/css/rss.css" type="text/css"/>
    <div class="block">
      <div class="bmtitle">

  <a href="http://www.bibsonomy.org/bibtex/217a6cc09983f74ce4e5e6ab45b8810be/smicha">Is there really a foreign ownership wage premium?: Evidence from matched employer-employee data</a>
</div>
<div class="bmdesc">
  <span style="color:#555555;"> 
    Fredrik <a href="http://www.bibsonomy.org/author/Heyman">Heyman</a>         	     	 
        	  and Fredrik <a href="http://www.bibsonomy.org/author/Sj%7B%5C%22o%7Dholm">Sj{\&#034;o}holm</a>         	     	 
        	  and Patrik Gustavsson <a href="http://www.bibsonomy.org/author/Tingvall">Tingvall</a>         	     	 
        	 </span> 
  <em>Journal of International Economics</em>
      <b>73</b>
      355--376
  (2007)
</div>
<span class="bmmeta">
  
  
        to
        <span class="bmtags">
        <a href="http://www.bibsonomy.org/user/smicha/FDI">FDI</a>
        </span>
        

          by <a href="http://www.bibsonomy.org/user/smicha">smicha</a> 
        
        
        on 2008-04-22 15:17:45 </span></div>
    ]]>
    </content:encoded>
    <taxo:topics>
      <rdf:Bag>
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/FDI" />
        </rdf:Bag>
    </taxo:topics>
  </item>
<item rdf:about="http://www.bibsonomy.org/bibtex/25ce15699133c295af4a638bc4231fd64/dblp">
    <title>Rubbing and tapping for precise and rapid selection on touch-screen displays.</title>
    <description>dblp</description>
    <link>http://www.bibsonomy.org/bibtex/25ce15699133c295af4a638bc4231fd64/dblp</link>
    <dc:creator>dblp</dc:creator>
    <dc:date>2008-04-08T00:00:00+02:00</dc:date>
    <dc:subject>
      dblp </dc:subject>
    <content:encoded><![CDATA[
    <link rel="stylesheet" href="http://www.bibsonomy.org/resources/css/rss.css" type="text/css"/>
    <div class="block">
      <div class="bmtitle">

  <a href="http://www.bibsonomy.org/bibtex/25ce15699133c295af4a638bc4231fd64/dblp">Rubbing and tapping for precise and rapid selection on touch-screen displays.</a>
</div>
<div class="bmdesc">
  <span style="color:#555555;"> 
    Alex <a href="http://www.bibsonomy.org/author/Olwal">Olwal</a>         	     	 
        	  and Steven <a href="http://www.bibsonomy.org/author/Feiner">Feiner</a>         	     	 
        	  and Susanna <a href="http://www.bibsonomy.org/author/Heyman">Heyman</a>         	     	 
        	 </span> 
  <em>CHI</em>
    295-304
  (2008)
</div>
<span class="bmmeta">
  
  
        to
        <span class="bmtags">
        <a href="http://www.bibsonomy.org/user/dblp/dblp">dblp</a>
        </span>
        

          by <a href="http://www.bibsonomy.org/user/dblp">dblp</a> 
        
        
        on 2008-04-08 00:00:00 </span></div>
    ]]>
    </content:encoded>
    <taxo:topics>
      <rdf:Bag>
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp" />
        </rdf:Bag>
    </taxo:topics>
  </item>
<item rdf:about="http://www.bibsonomy.org/bibtex/277f099c343538be7cce6fb1b92fdcc6b/dblp">
    <title>Deeper Bound in BMC by Combining Constant Propagation and Abstraction.</title>
    <description>dblp</description>
    <link>http://www.bibsonomy.org/bibtex/277f099c343538be7cce6fb1b92fdcc6b/dblp</link>
    <dc:creator>dblp</dc:creator>
    <dc:date>2007-12-02T00:00:00+01:00</dc:date>
    <dc:subject>
      dblp </dc:subject>
    <content:encoded><![CDATA[
    <link rel="stylesheet" href="http://www.bibsonomy.org/resources/css/rss.css" type="text/css"/>
    <div class="block">
      <div class="bmtitle">

  <a href="http://www.bibsonomy.org/bibtex/277f099c343538be7cce6fb1b92fdcc6b/dblp">Deeper Bound in BMC by Combining Constant Propagation and Abstraction.</a>
</div>
<div class="bmdesc">
  <span style="color:#555555;"> 
    Roy <a href="http://www.bibsonomy.org/author/Armoni">Armoni</a>         	     	 
        	  and Limor <a href="http://www.bibsonomy.org/author/Fix">Fix</a>         	     	 
        	  and Ranan <a href="http://www.bibsonomy.org/author/Fraer">Fraer</a>         	     	 
        	  and Tamir <a href="http://www.bibsonomy.org/author/Heyman">Heyman</a>         	     	 
        	  and Moshe Y. <a href="http://www.bibsonomy.org/author/Vardi">Vardi</a>         	     	 
        	  and Yakir <a href="http://www.bibsonomy.org/author/Vizel">Vizel</a>         	     	 
        	  and Yael <a href="http://www.bibsonomy.org/author/Zbar">Zbar</a>         	     	 
        	 </span> 
  <em>ASP-DAC</em>
    304-309
  (2007)
</div>
<span class="bmmeta">
  
  
        to
        <span class="bmtags">
        <a href="http://www.bibsonomy.org/user/dblp/dblp">dblp</a>
        </span>
        

          by <a href="http://www.bibsonomy.org/user/dblp">dblp</a> 
        
        
        on 2007-12-02 00:00:00 </span></div>
    ]]>
    </content:encoded>
    <taxo:topics>
      <rdf:Bag>
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp" />
        </rdf:Bag>
    </taxo:topics>
  </item>
<item rdf:about="http://www.bibsonomy.org/bibtex/23f2c3caaaf5d8772829fc389dd4b3090/dblp">
    <title>Non-Linear Acoustic Concealed Weapons Detection.</title>
    <description>dblp</description>
    <link>http://www.bibsonomy.org/bibtex/23f2c3caaaf5d8772829fc389dd4b3090/dblp</link>
    <dc:creator>dblp</dc:creator>
    <dc:date>2007-05-23T00:00:00+02:00</dc:date>
    <dc:subject>
      dblp </dc:subject>
    <content:encoded><![CDATA[
    <link rel="stylesheet" href="http://www.bibsonomy.org/resources/css/rss.css" type="text/css"/>
    <div class="block">
      <div class="bmtitle">

  <a href="http://www.bibsonomy.org/bibtex/23f2c3caaaf5d8772829fc389dd4b3090/dblp">Non-Linear Acoustic Concealed Weapons Detection.</a>
</div>
<div class="bmdesc">
  <span style="color:#555555;"> 
    Anjani <a href="http://www.bibsonomy.org/author/Achanta">Achanta</a>         	     	 
        	  and Mark <a href="http://www.bibsonomy.org/author/McKenna">McKenna</a>         	     	 
        	  and Joseph <a href="http://www.bibsonomy.org/author/Heyman">Heyman</a>         	     	 
        	  and Kevin <a href="http://www.bibsonomy.org/author/Rudd">Rudd</a>         	     	 
        	  and Mark <a href="http://www.bibsonomy.org/author/Hinders">Hinders</a>         	     	 
        	  and Peter J. <a href="http://www.bibsonomy.org/author/Costianes">Costianes</a>         	     	 
        	 </span> 
  <em>AIPR</em>
    21-27
  (2005)
</div>
<span class="bmmeta">
  
  
        to
        <span class="bmtags">
        <a href="http://www.bibsonomy.org/user/dblp/dblp">dblp</a>
        </span>
        

          by <a href="http://www.bibsonomy.org/user/dblp">dblp</a> 
        
        
        on 2007-05-23 00:00:00 </span></div>
    ]]>
    </content:encoded>
    <taxo:topics>
      <rdf:Bag>
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp" />
        </rdf:Bag>
    </taxo:topics>
  </item>
<item rdf:about="http://www.bibsonomy.org/bibtex/2c51fe7bf3eea1f9f3300925bcbd23176/rosag">
    <title>Russian Protection Rackets and the Appropriation of Law and Order</title>
    <description></description>
    <link>http://www.bibsonomy.org/bibtex/2c51fe7bf3eea1f9f3300925bcbd23176/rosag</link>
    <dc:creator>rosag</dc:creator>
    <dc:date>2007-04-02T22:38:26+02:00</dc:date>
    <dc:subject>
      PoliticalAnthropology </dc:subject>
    <content:encoded><![CDATA[
    <link rel="stylesheet" href="http://www.bibsonomy.org/resources/css/rss.css" type="text/css"/>
    <div class="block">
      <div class="bmtitle">

  <a href="http://www.bibsonomy.org/bibtex/2c51fe7bf3eea1f9f3300925bcbd23176/rosag">Russian Protection Rackets and the Appropriation of Law and Order</a>
</div>
<div class="bmdesc">
  <span style="color:#555555;"> 
    Caroline <a href="http://www.bibsonomy.org/author/Humphrey">Humphrey</a>         	     	 
        	 </span> 
  <em>States and Illegal Practices</em>
      199-232
  (1999)
</div>
<span class="bmmeta">
  
  
        to
        <span class="bmtags">
        <a href="http://www.bibsonomy.org/user/rosag/PoliticalAnthropology">PoliticalAnthropology</a>
        </span>
        

          by <a href="http://www.bibsonomy.org/user/rosag">rosag</a> 
        
        
        on 2007-04-02 22:38:26 </span></div>
    ]]>
    </content:encoded>
    <taxo:topics>
      <rdf:Bag>
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/PoliticalAnthropology" />
        </rdf:Bag>
    </taxo:topics>
  </item>
<item rdf:about="http://www.bibsonomy.org/bibtex/2c1efb047ff2750d07efe3cb6584b1c1c/dblp">
    <title>Verifying Very Large Industrial Circuits Using 100 Processes and Beyond.</title>
    <description>dblp</description>
    <link>http://www.bibsonomy.org/bibtex/2c1efb047ff2750d07efe3cb6584b1c1c/dblp</link>
    <dc:creator>dblp</dc:creator>
    <dc:date>2007-02-26T00:00:00+01:00</dc:date>
    <dc:subject>
      dblp </dc:subject>
    <content:encoded><![CDATA[
    <link rel="stylesheet" href="http://www.bibsonomy.org/resources/css/rss.css" type="text/css"/>
    <div class="block">
      <div class="bmtitle">

  <a href="http://www.bibsonomy.org/bibtex/2c1efb047ff2750d07efe3cb6584b1c1c/dblp">Verifying Very Large Industrial Circuits Using 100 Processes and Beyond.</a>
</div>
<div class="bmdesc">
  <span style="color:#555555;"> 
    Limor <a href="http://www.bibsonomy.org/author/Fix">Fix</a>         	     	 
        	  and Orna <a href="http://www.bibsonomy.org/author/Grumberg">Grumberg</a>         	     	 
        	  and Amnon <a href="http://www.bibsonomy.org/author/Heyman">Heyman</a>         	     	 
        	  and Tamir <a href="http://www.bibsonomy.org/author/Heyman">Heyman</a>         	     	 
        	  and Assaf <a href="http://www.bibsonomy.org/author/Schuster">Schuster</a>         	     	 
        	 </span> 
  <em>Int. J. Found. Comput. Sci.</em>
      <b>18</b>
      45-62
  (2007)
</div>
<span class="bmmeta">
  
  
        to
        <span class="bmtags">
        <a href="http://www.bibsonomy.org/user/dblp/dblp">dblp</a>
        </span>
        

          by <a href="http://www.bibsonomy.org/user/dblp">dblp</a> 
        
        
        on 2007-02-26 00:00:00 </span></div>
    ]]>
    </content:encoded>
    <taxo:topics>
      <rdf:Bag>
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/dblp" />
        </rdf:Bag>
    </taxo:topics>
  </item>
</rdf:RDF>