Anyone knows about academic papers involving drools verifier? I'm working in a project where will be produced a paper and I need to cite some caracteristics of it.

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

Thanks Mark! When my paper and my prototype is running I will show all results here to get feedback.

On 31 May 2012 23:04, Mark Proctor <mproctor(a)codehaus.org <mailto:mproctor@codehaus.org>> wrote: On 28/05/2012 22:21, Jackson Cunha wrote: > Anyone knows about academic papers involving drools verifier? I'm > working in a project where will be produced a paper and I need to > cite some caracteristics of it. A good starting point is on the ez-expert page, which covers various papers on the topic. http://www.ez-xpert.com/whitepapers/verification.html Mark > > Thanks. > > ---------------------------------------------------------------------------------------------------------------- > Jackson Cunha Cassimiro (CereB) > Bacharel em Ciencia da Computação - UFPI > MSN: jackson.cereb(a)gmail.com <mailto:jackson.cereb@gmail.com> > Telefone Móvel +55 86 9928 1251 <tel:%2B55%2086%209928%201251> > Analista de Sistemas - Infoway - http://www.infoway-pi.com.br > Missão Infoway - "Influenciar a Gestão de Sistemas de Saúde > através de e-health" > > ("A vida é um combate que os fracos abate, aos bravos, aos fortes > só pode exaltar" - Canção do Tamoio, Gonçalves Dias) > ---------------------------------------------------------------------------------------------------------------- > > > _______________________________________________ > rules-users mailing list > rules-users(a)lists.jboss.org <mailto:rules-users@lists.jboss.org> > https://lists.jboss.org/mailman/listinfo/rules-users _______________________________________________ rules-users mailing list rules-users(a)lists.jboss.org <mailto:rules-users@lists.jboss.org> https://lists.jboss.org/mailman/listinfo/rules-users -- ---------------------------------------------------------------------------------------------------------------- Jackson Cunha Cassimiro (CereB) Bacharel em Ciencia da Computação - UFPI MSN: jackson.cereb(a)gmail.com <mailto:jackson.cereb@gmail.com> Telefone Móvel +55 86 9928 1251 Analista de Sistemas - Infoway - http://www.infoway-pi.com.br Missão Infoway - "Influenciar a Gestão de Sistemas de Saúde através de e-health" ("A vida é um combate que os fracos abate, aos bravos, aos fortes só pode exaltar" - Canção do Tamoio, Gonçalves Dias) ---------------------------------------------------------------------------------------------------------------- _______________________________________________ rules-users mailing list rules-users(a)lists.jboss.org https://lists.jboss.org/mailman/listinfo/rules-users