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




Formal methods in system design, 2021, Vol.57 (3), p.305-342
2021
Link zum Volltext

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018, p.1-10
2018
Link zum Volltext