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...
The Annals of pharmacotherapy, 1999-06, Vol.33 (6), p.723
1999
Volltextzugriff (PDF)


IEEE transactions on software engineering, 2011-05, Vol.37 (3), p.387-409
2011
Volltextzugriff (PDF)


2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015, p.429-440
2015
Volltextzugriff (PDF)

2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015, p.574-584
2015
Volltextzugriff (PDF)

2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015, p.201-211
2015
Volltextzugriff (PDF)

2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015, p.295-306
2015
Volltextzugriff (PDF)

2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015, p.476-481
2015
Volltextzugriff (PDF)

2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015, p.248-259
2015
Volltextzugriff (PDF)


2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015, p.260-270
2015
Volltextzugriff (PDF)

2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015, p.749-459
2015
Volltextzugriff (PDF)


2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015, p.342-352
2015
Volltextzugriff (PDF)

2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015, p.452-463
2015
Volltextzugriff (PDF)

General LTL specification mining
2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015, p.81-92
2015
Volltextzugriff (PDF)

2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015, p.760-770
2015
Volltextzugriff (PDF)

2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015, p.771-776
2015
Volltextzugriff (PDF)

2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015, p.307-318
2015
Volltextzugriff (PDF)

2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015, p.585-596
2015
Volltextzugriff (PDF)

2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015, p.12-23
2015
Volltextzugriff (PDF)

2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015, p.658-668
2015
Volltextzugriff (PDF)

Lecture notes in computer science, 2005, p.284-298
2005
Volltextzugriff (PDF)

2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015, p.669-679
2015
Volltextzugriff (PDF)