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...
Ultrasound in obstetrics & gynecology, 2020-10, Vol.56 (S1), p.221-221
2020
Volltextzugriff (PDF)

Electronics and electromechanics, 2022-01 (1), p.38-43
2022
Volltextzugriff (PDF)

Tools and algorithms for the construction and analysis of systems, TACAS 2022, pt I, 2022, p.303
2022
Volltextzugriff (PDF)


Current health sciences journal, 2018-10, Vol.44 (4), p.374-380
2018
Volltextzugriff (PDF)

Open Access
Monitoring programs using rewriting
Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), 2001, p.135-143
2001
Volltextzugriff (PDF)



32nd International Symposium on Computer Architecture (ISCA'05), 2005, p.123-133
2005
Volltextzugriff (PDF)

Mathematical structures in computer science, 2002-10, Vol.12 (5), p.541-563
2002
Volltextzugriff (PDF)



2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2017, p.637-647
2017
Volltextzugriff (PDF)


Open Access
Bounded-Memory Runtime Enforcement
Model Checking Software, 2022, Vol.13255, p.114-133
2022
Volltextzugriff (PDF)

Model Checking Software, 2022, Vol.13255, p.1-23
2022
Volltextzugriff (PDF)

Model Checking Software, 2022, Vol.13255, p.44-60
2022
Volltextzugriff (PDF)




Lecture notes in computer science, 2002, p.342-356
2002
Volltextzugriff (PDF)



Open Access
Mining parametric specifications
2011 33rd International Conference on Software Engineering (ICSE), 2011, p.591-600
2011
Volltextzugriff (PDF)

18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings, 2003, p.304-309
2003
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt