( en | de | ru )

 

Disambiguation of "Matos, Paulo J."

Author of the publication

copydeleteadd this publication to your clipboard
Model Checking Event-B by Encoding into Alloy

, and . ABZ, volume 5238 of Lecture Notes in Computer Science, Springer, (2008)
DOI: http://dx.doi.org/10.1007/978-3-540-87603-8\_34

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Paulo Alexandre Matos Silva Almeida

Milan Paulovic

Mijo Matosevic

Luis Nuno Matos Pimentão

Narciso Matos

 

Other publications of authors with the same name

Model Checking Event-B by Encoding into Alloy., and . ABZ, volume 5238 of Lecture Notes in Computer Science, page 346. Springer, (2008)A Lazy Unbounded Model Checker for Event-B., , and . ICFEM, volume 5885 of Lecture Notes in Computer Science, page 485-503. Springer, (2009)Intelligent Theorem Proving for Specific Domains.. IJCAR Doctoral Programme, volume 106 of CEUR Workshop Proceedings, CEUR-WS.org, (2004)Model Checking Event-B by Encoding into Alloy, and . ABZ, volume 5238 of Lecture Notes in Computer Science, Springer, (2008)A MAX-SAT Algorithm Portfolio., , , and . ECAI, volume 178 of Frontiers in Artificial Intelligence and Applications, page 911-912. IOS Press, (2008)Counting Models in Integer Domains., , , and . SAT, volume 4121 of Lecture Notes in Computer Science, page 410-423. Springer, (2006)