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

Theoretical computer science, 2018-11, Vol.750, p.38-52
2018
Link zum Volltext

Reachability Problems, 2016, Vol.9899, p.77-89
2016
Link zum Volltext

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on model checking of software, 2017, p.132-141
2017
Link zum Volltext





















Suchergebnisse filtern
Filter anzeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt