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...
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, p.1-14
2019
Link zum Volltext

2011 Eleventh International Conference on Application of Concurrency to System Design, 2011, p.77-86
2011

2010 Seventh International Conference on the Quantitative Evaluation of Systems, 2010, p.17-26
2010
Aktive Filter
ThemaSemantics