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...
Journal of pharmacological and toxicological methods, 2010-11, Vol.62 (3), p.196-220
2010
Link zum Volltext

















Electronic proceedings in theoretical computer science, 2016-06, Vol.209 (Proc. Refine 2015), p.1-16
2016
Link zum Volltext



Open Access
Refinement patterns for ASTDs
Formal aspects of computing, 2014-09, Vol.26 (5), p.919-941
2014
Link zum Volltext



Open Access
Tool building in formal methods
Software, practice & experience, 2011-02, Vol.41 (2), p.131-132
2011
Link zum Volltext

Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n