Search results for: Bengt Jonsson
Haemophilia > 25 > 2 > 189 - 194
Haemophilia > 24 > 6 > 873 - 879
The European Journal of Health Economics > 2019 > 20 > 3 > 427-438
BMC Psychiatry > 2018 > 18 > 1 > 1-11
Quality of Life Research > 2018 > 27 > 3 > 707-716
Journal of Cancer Policy > 2017 > 11 > C > 12-18
Lecture Notes in Computer Science > Computer Aided Verification > Regular Model Checking and Acceleration > 555-568
Lecture Notes in Computer Science > Computer Aided Verification > Session IV: Infinitive State Verification > 131-144
European Journal of Cancer > 2016 > 66 > C > 162-170
Acta Informatica > 2017 > 54 > 8 > 789-818
Lecture Notes in Computer Science > Formal Methods for Eternal Networked Software Systems > Learning and Monitoring > 327-349
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Learning Techniques for Software Verification and Validation > 658-672
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > UML Models and Model Checking > 375-393
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 418-430
Lecture Notes in Computer Science > Model-Based Testing of Reactive Systems > Testing of Labeled Transition Systems > 277-279
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Theory > 175-189