Publications

Year:  
All :: 2000, ... , 2017, 2018, 2019, 2020
Author:  
All :: A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, Ö 
All :: Naab, ... , Neudecker, Neukirchen, Niedermayer, ... , Ntougias 
References
22.
Daniel Schemmel, Julian Büning, Oscar Soria Dustmann, Thomas Noll and Klaus Wehrle
Computer Aided Verification (CAV 2018)
July 2018
21.
Quirin Scheitle, Taejoong Chung, Jens Hiller, Oliver Gasser, Johannes Naab, Roland van Rijswijk-Deij, Oliver Hohlfeld, Ralph Holz, Dave Choffnes, Alan Mislove and Georg Carle
ACM SIGCOMM Computer Communications Review (CCR), 48:10-23
April 2018
Export as:
BibTeX, XML
- Impressum | Datenschutz -