Publications

Year:  
All :: 2000, ... , 2016, 2017, 2018, 2019
Author:  
All :: A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, 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
Proceedings of the 30th International Conference on Computer Aided Verification (CAV'18)
July 2018
ISBN: 978-3-319-96142-2
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 -