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



International journal on software tools for technology transfer, 2023-02, Vol.25 (1), p.75-76
2023
Link zum Volltext

Journal of logical and algebraic methods in programming, 2023-01, Vol.130, p.100823, Article 100823
2023
Link zum Volltext



Report on women in logic 2020 & 2021
SIGLOG news, 2022-04, Vol.9 (2), p.31-33
2022
Link zum Volltext




Logical methods in computer science, 2022-01, Vol.18, Issue 2
2022
Link zum Volltext

Electronic proceedings in theoretical computer science, 2021-12, Vol.351
2021
Link zum Volltext


Journal of inherited metabolic disease, 2021-05, Vol.44 (3), p.677-692
2021
Link zum Volltext

Model Checking Software, 2021, Vol.12864
2021
Link zum Volltext

Model Checking Software, 2021, Vol.12864
2021
Link zum Volltext

A Model-Checked I2C Specification
Model Checking Software, 2021, Vol.12864
2021
Link zum Volltext

Model Checking Software, 2021, Vol.12864
2021
Link zum Volltext

Tool Papers
Model Checking Software, 2021, Vol.12864
2021
Link zum Volltext

Model Checking Software, 2021, Vol.12864
2021
Link zum Volltext

Intro
Model Checking Software, 2021, Vol.12864
2021
Link zum Volltext

Model Checking Software, 2021, Vol.12864
2021
Link zum Volltext

Model Checking
Model Checking Software, 2021, Vol.12864
2021
Link zum Volltext

Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n