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...

Computer Aided Verification, p.258-263
Link zum Volltext


Hybrid Systems: Computation and Control, 2004, p.477-492
2004
Link zum Volltext


IEEE transactions on medical imaging, 2020-02, Vol.39 (2), p.436-446
2020

International journal of plasticity, 2023-11, Vol.170, p.103771, Article 103771
2023
Link zum Volltext

Functional and Logic Programming, 2014, p.336-352
2014
Link zum Volltext

Chemical engineering journal (Lausanne, Switzerland : 1996), 2022-01, Vol.428, p.131182, Article 131182
2022
Link zum Volltext


Automatica (Oxford), 2016-08, Vol.70, p.239-248
2016
Link zum Volltext


The tool Kronos
Hybrid Systems III, 2005, p.208-219
2005
Link zum Volltext

Applied mathematical modelling, 2015-08, Vol.39 (15), p.4511-4522
2015
Link zum Volltext

Neurocomputing (Amsterdam), 2018-01, Vol.272, p.154-162
2018
Link zum Volltext

系统仿真学报, 2023-05, Vol.35 (5), p.1034-1045
2023
Link zum Volltext

Tools and Algorithms for the Construction and Analysis of Systems, p.555-572
Link zum Volltext

Communications in statistics. Theory and methods, 2018-04, Vol.47 (8), p.1812-1829
2018
Link zum Volltext


Tools and Algorithms for the Construction and Analysis of Systems, p.573-588
Link zum Volltext

Hybrid Systems: Computation and Control, 2002, p.465-478
2002
Link zum Volltext




Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt