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...
Zeitschrift für Rheumatologie, 2019-04
2019
Volltextzugriff (PDF)





Uniform distributed synthesis
20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05), 2005, p.321-330
2005
Volltextzugriff (PDF)


Journal of neurology, 2008-09, Vol.255 (9), p.1425-1426
2008
Volltextzugriff (PDF)

Journal of computer and system sciences, 2021-08, Vol.119, p.19-20
2021
Volltextzugriff (PDF)



ECS transactions, 2016, Vol.75 (1), p.137-144
2016
Volltextzugriff (PDF)

Logic, Computation and Rigorous Methods, 2021, p.266-282
2021
Volltextzugriff (PDF)


Abstract State Machines, Alloy, B, TLA, VDM, and Z, p.213-228
Volltextzugriff (PDF)






Logic, Computation and Rigorous Methods, 2021, Vol.12750, p.63-81
2021
Volltextzugriff (PDF)




Logic, Computation and Rigorous Methods, 2021, Vol.12750, p.147-172
2021
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n