Search results for: João Abreu
Basic & Clinical Pharmacology & Toxicology > 120 > 3 > 227 - 234
Revista Portuguesa de Cardiologia (English Edition) > 2017 > 36 > 1 > 9-15
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Testing and Model Checking > 494-513
Transportation > 2017 > 44 > 5 > 1195-1212
Lecture Notes in Computer Science > Rigorous Software Engineering for Service-Oriented Systems > Modelling in Service-Oriented Architectures > 61-114
Lecture Notes in Computer Science > Formal Techniques for Distributed Systems > Short Papers > 219-224
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2007 > Technical Session 8. Components > 358-373
European Transport Research Review > 2015 > 7 > 2 > 1-17
Revista Portuguesa de Cardiologia (English Edition) > 2013 > 32 > 11 > 865-872
Procedia Technology > 2013 > 9 > Complete > 320-330
Revista Portuguesa de Cardiologia (English Edition) > 2013 > 32 > 1 > 49-52
Science of Computer Programming > 2012 > 77 > 5 > 577-608
Revista Portuguesa de Cardiologia (English Edition) > 2012 > 31 > 3 > 233-235
Critical Ultrasound Journal > 2012 > 4 > 1 > 1-8
Electrochimica Acta > 2011 > 56 > 23 > 7955-7962
Phytochemistry > 2010 > 71 > 5-6 > 548-558