Thanks Mark!<br><br>When my paper and my prototype is running I will show all results here to get feedback.<br><br><div class="gmail_quote">On 31 May 2012 23:04, Mark Proctor <span dir="ltr">&lt;<a href="mailto:mproctor@codehaus.org" target="_blank">mproctor@codehaus.org</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
  
    
  
  <div bgcolor="#FFFFFF" text="#000000"><div class="im">
    On 28/05/2012 22:21, Jackson Cunha wrote:
    <blockquote type="cite">
      <div>Anyone knows about academic papers involving drools verifier?
        I&#39;m working in a project where will be produced a paper and I
        need to cite some caracteristics of it.</div>
    </blockquote></div>
    A good starting point is on the ez-expert page, which covers various
    papers on the topic.<br>
    <a href="http://www.ez-xpert.com/whitepapers/verification.html" target="_blank">http://www.ez-xpert.com/whitepapers/verification.html</a><br>
    <br>
    Mark<br>
    <br>
    <blockquote type="cite"><div class="im">
      <div><br>
      </div>
      Thanks.
      <div><br>
----------------------------------------------------------------------------------------------------------------<br>
        Jackson Cunha Cassimiro (CereB)<br>
        Bacharel em Ciencia da Computação - UFPI<br>
        MSN: <a href="mailto:jackson.cereb@gmail.com" target="_blank">jackson.cereb@gmail.com</a><br>
        Telefone Móvel <a href="tel:%2B55%2086%209928%201251" value="+558699281251" target="_blank">+55 86 9928 1251</a><br>
        Analista de Sistemas - Infoway - <a href="http://www.infoway-pi.com.br" target="_blank">http://www.infoway-pi.com.br</a><br>
        Missão Infoway - &quot;Influenciar a Gestão de Sistemas de Saúde
        através de e-health&quot;<br>
        <br>
        (&quot;A vida é um combate que os fracos abate, aos bravos, aos
        fortes só pode exaltar&quot; - Canção do Tamoio, Gonçalves Dias)<br>
----------------------------------------------------------------------------------------------------------------<br>
      </div>
      <br>
      <fieldset></fieldset>
      <br>
      </div><pre>_______________________________________________
rules-users mailing list
<a href="mailto:rules-users@lists.jboss.org" target="_blank">rules-users@lists.jboss.org</a>
<a href="https://lists.jboss.org/mailman/listinfo/rules-users" target="_blank">https://lists.jboss.org/mailman/listinfo/rules-users</a>
</pre>
    </blockquote>
    <br>
  </div>

<br>_______________________________________________<br>
rules-users mailing list<br>
<a href="mailto:rules-users@lists.jboss.org">rules-users@lists.jboss.org</a><br>
<a href="https://lists.jboss.org/mailman/listinfo/rules-users" target="_blank">https://lists.jboss.org/mailman/listinfo/rules-users</a><br>
<br></blockquote></div><br><br clear="all"><div><br></div>-- <br>----------------------------------------------------------------------------------------------------------------<br>Jackson Cunha Cassimiro (CereB)<br>Bacharel em Ciencia da Computação - UFPI<br>
MSN: <a href="mailto:jackson.cereb@gmail.com" target="_blank">jackson.cereb@gmail.com</a><br>Telefone Móvel +55 86 9928 1251<br>Analista de Sistemas - Infoway - <a href="http://www.infoway-pi.com.br" target="_blank">http://www.infoway-pi.com.br</a><br>
Missão Infoway - &quot;Influenciar a Gestão de Sistemas de Saúde através de e-health&quot;<br><br>(&quot;A vida é um combate que os fracos abate, aos bravos, aos fortes só pode exaltar&quot; - Canção do Tamoio, Gonçalves Dias)<br>
----------------------------------------------------------------------------------------------------------------<br>