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


Journal of veterinary diagnostic investigation, 2022-11, Vol.34 (6), p.968-971
2022
Link zum Volltext


Integration (Amsterdam), 2021-01, Vol.76, p.190-204
2021
Link zum Volltext

Culture & musées, 2022-05, Vol.39 (39), p.191-211
2022
Link zum Volltext

ACM transactions on design automation of electronic systems, 2016-01, Vol.21 (2), p.1-29
2016
Link zum Volltext


2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2019, p.988-991
2019




EURASIP journal on embedded systems, 2009-03, Vol.2009 (1), p.548324-548324
2009
Link zum Volltext



IEEE transactions on computers, 2008-10, Vol.57 (10), p.1346-1356
2008


Prix, honneurs et distinctions
Rabaska, 2023, Vol.21, p.214-216
2023
Link zum Volltext

Canadian journal of family law, 2018-07, Vol.31 (2), p.127-177
2018
Link zum Volltext

2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), 2010, p.1207-1212
2010

Open Access
Model Checking TLA+ Specifications
Correct Hardware Design and Verification Methods, 1999, p.54-66
1999
Link zum Volltext

Prix, honneurs et distinctions
Rabaska, 2022, Vol.20, p.258-262
2022
Link zum Volltext

Proceedings of the Conference on Design, Automation and Test in Europe, 2010, p.1207-1212
2010
Link zum Volltext


Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n