Search results for: Michael Kristensen
Insect Science > 26 > 2 > 274 - 282
BioControl > 2018 > 63 > 5 > 707-718
European Journal of Nutrition > 2019 > 58 > 3 > 1183-1192
Journal of Pest Science > 2018 > 91 > 1 > 447-458
BMC Genomics > 2017 > 18 > 1 > 1-12
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 209-223
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2001 > Full Papers > 101-120
Lecture Notes in Computer Science > Transactions on Petri Nets and Other Models of Concurrency I > 19-34
Lecture Notes in Computer Science > Transactions on Petri Nets and Other Models of Concurrency IV > 21-41
Lecture Notes in Computer Science > Application and Theory of Petri Nets 2002 > Regular Papers > 182-202
Lecture Notes in Computer Science > Petri Nets and Other Models of Concurrency – ICATPN 2007 > Full Papers > 445-464
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Implementation Techniques > 450-464
Lecture Notes in Computer Science > Application and Theory of Petri Nets 2000 > Full Papers > 346-366
Lecture Notes in Computer Science > Application and Theory of Petri Nets 2000 > Full Papers > 282-302
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Hybrid Systems > 319-337
Lecture Notes in Computer Science > Application and Theory of Petri Nets 2002 > Regular Papers > 352-373
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Contributed Papers > 70-85