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...
Clinical and experimental immunology, 2021-02, Vol.203 (2), p.281-285
2021
Volltextzugriff (PDF)


Eastern Mediterranean health journal, 2015-09, Vol.21 (8), p.572-578
2015
Volltextzugriff (PDF)


Pharmaceutical chemistry journal, 2015-01, Vol.48 (10), p.675-678
2015
Volltextzugriff (PDF)




International journal on software tools for technology transfer, 2011-11, Vol.13 (6), p.537-551
2011
Volltextzugriff (PDF)

Journal of applied ichthyology, 2009-10, Vol.25 (s2), p.91-94
2009
Volltextzugriff (PDF)


Computer Aided Verification, 2005, p.266-280
2005
Volltextzugriff (PDF)

Open Access
Linear Ranking with Reachability
Computer Aided Verification, 2005, p.491-504
2005
Volltextzugriff (PDF)

Open Access
Program Repair as a Game
Computer Aided Verification, 2005, p.226-238
2005
Volltextzugriff (PDF)


Open Access
Ymer: A Statistical Model Checker
Computer Aided Verification, 2005, p.429-433
2005
Volltextzugriff (PDF)

International journal of pharmacology, 2012-10, Vol.8 (7), p.652-656
2012
Volltextzugriff (PDF)

Computer Aided Verification, 2005, p.418-423
2005
Volltextzugriff (PDF)

International journal of environmental science and technology (Tehran), 2015-11, Vol.12 (11), p.3433-3442
2015
Volltextzugriff (PDF)

Open Access
Efficient Monitoring of ω-Languages
Computer Aided Verification, 2005, p.364-378
2005
Volltextzugriff (PDF)

Computer Aided Verification, 2005, p.301-306
2005
Volltextzugriff (PDF)



Computer Aided Verification, 2005, p.548-562
2005
Volltextzugriff (PDF)

Computer Aided Verification, 2005, p.253-265
2005
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n