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...
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...







Open Access
Causality-based Model Checking
Electronic proceedings in theoretical computer science, 2017-10, Vol.259 (Proc. CREST 2017), p.31-38
2017
Volltextzugriff (PDF)



Растительный мир Азиатской России, 2023, Vol.16 (1), p.72-82
2023
Volltextzugriff (PDF)


Meliorat͡s︡ii͡a︡ i vodnoe khozi͡a︡ĭstvo (Moscow, Russia), 2020-11 (5), p.25-28
2020
Volltextzugriff (PDF)

Turczaninowia, 2023-07, Vol.26 (2), p.190-201
2023
Volltextzugriff (PDF)

Meliorat͡s︡ii͡a︡ i vodnoe khozi͡a︡ĭstvo (Moscow, Russia), 2020-09, p.29-34
2020
Volltextzugriff (PDF)




Causality-based verification
2016
Volltextzugriff (PDF)




Computer Aided Verification, p.814-830
Volltextzugriff (PDF)

CONCUR 2013 – Concurrency Theory, p.257-272
Volltextzugriff (PDF)

Open Access
Array Folds Logic
Computer Aided Verification, p.230-248
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt