Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
ACM computing surveys, 2022-01, Vol.54 (1), p.1-21
2022
Link zum Volltext

ACM computing surveys, 2018-06, Vol.50 (2), p.1-34
2018
Link zum Volltext





2018 CAV award
Formal methods in system design, 2021, Vol.57 (1), p.116-117
2021
Link zum Volltext


Theory of computing systems, 2020-05, Vol.64 (4), p.593-625
2020
Link zum Volltext




Electronic proceedings in theoretical computer science, 2012-07, Vol.85 (Proc. QAPL 2012), p.1-16
2012
Link zum Volltext

Drug development and industrial pharmacy, 2012-09, Vol.38 (9), p.1061-1067
2012
Link zum Volltext

Journal of automated reasoning, 2017-12, Vol.59 (4), p.425-454
2017
Link zum Volltext



Developing UPPAAL over 15 years
Software, practice & experience, 2011-02, Vol.41 (2), p.133-142
2011
Link zum Volltext

Electronic proceedings in theoretical computer science, 2020-01, Vol.312 (Proc. QAPL 2019), p.29-42
2020
Link zum Volltext


Open Access
Online-bounded analysis
Journal of scheduling, 2018-08, Vol.21 (4), p.429-441
2018
Link zum Volltext

Suicidologi, 2024-03, Vol.29 (1)
2024
Link zum Volltext

Open Access
DNA-templated synthesis optimization
Natural computing, 2018-12, Vol.17 (4), p.693-707
2018
Link zum Volltext


Suicidologi, 2023-09, Vol.28 (2)
2023
Link zum Volltext
Aktive Filter
KollektionIngenta.com
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n