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...
Parameterised Linearisability
Automata, Languages, and Programming, p.98-109
Link zum Volltext

Distributed Computing, 2015, Vol.9363, p.388-404
2015
Link zum Volltext

Formal Techniques for Distributed Systems, p.135-151
Link zum Volltext



Soft computing (Berlin, Germany), 2023-09, Vol.27 (18), p.12943-12957
2023
Link zum Volltext

IEEE transactions on neural systems and rehabilitation engineering, 2021, Vol.29, p.1661-1668
2021
Link zum Volltext








Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops, p.277-286
Link zum Volltext

Theoretical computer science, 1999-03, Vol.216 (1), p.1-53
1999
Link zum Volltext


Information Technology and Open Source: Applications for Education, Innovation, and Sustainability, p.172-189
Link zum Volltext
Aktive Filter
KollektionTaylor & Francis Online
KollektionIngentaConnect
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n