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...

Verifying Implementation Relations
FME 2001: Formal Methods for Increasing Software Productivity, 2001, Vol.2021, p.364-383
2001
Link zum Volltext





Automata, Languages, and Programming, 2015, Vol.9134, p.281-293
2015
Link zum Volltext

Aktive Filter
KollektionSpringer Books