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



RISTI : Revista Ibérica de Sistemas e Tecnologias de Informação, 2017-09 (23), p.46-60
2017
Link zum Volltext







Journal of automated reasoning, 2020-03, Vol.64 (3), p.511-511
2020
Link zum Volltext




Computer Aided Verification, 2006, p.81-94
2006
Link zum Volltext


Logical methods in computer science, 2022-01, Vol.18, Issue 2
2022
Link zum Volltext


Formal Methods: Foundations and Applications, p.23-36
Link zum Volltext



Proceedings of ACM on programming languages, , Vol.1 (ICFP), p.1-29
Link zum Volltext



Formal methods in system design, 2013-02, Vol.42 (1), p.3-23
2013
Link zum Volltext
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt