Search results for: Daniel Jackson
Pediatric Allergy and Immunology > 33 > 4 > n/a - n/a
Journal of the Science of Food and Agriculture > 98 > 5 > 1821 - 1831
Formal Aspects of Computing > 2018 > 30 > 5 > 525-544
The European Journal of Health Economics > 2018 > 19 > 7 > 909-922
Journal of Food Science > 82 > 10 > 2396 - 2402
Formal Methods in System Design > 2019 > 55 > 1 > 1-32
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Decision Procedures and Theorem Provers > 632-647
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Invited Contributions > 20-20
Lecture Notes in Computer Science > FME 2001: Formal Methods for Increasing Software Productivity > 1-1
Lecture Notes in Computer Science > Radical Innovations of Software and Systems Engineering in the Future > 198-203