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...
Verification, Model Checking, and Abstract Interpretation, p.495-513
Link zum Volltext

Open Access
Visibly Pushdown Modular Games
Electronic proceedings in theoretical computer science, 2014-08, Vol.161 (Proc. GandALF 2014), p.260-274
2014
Link zum Volltext


















Nuclear instruments & methods in physics research. Section A, Accelerators, spectrometers, detectors and associated equipment, 2021-01, Vol.986, p.164756, Article 164756
2021
Link zum Volltext


Open Physics, 2021-07, Vol.19 (1), p.383-394
2021
Link zum Volltext



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