Publications

Year:  
All :: 1996, ... , 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 :: Lakemeyer, ... , Lemstra, Leupers, Li, ... , Lueders 
References
84.
Symbolic Partial-Order Execution for Testing Multi-Threaded Programs
32nd International Conference on Computer-Aided Verification (CAV 2020)
July 2020
accepted
83.
Lars Gleim, Jan Pennekamp, Martin Liebenberg, Melanie Buchsbaum, Philipp Niemietz, Simon Knape, Alexander Epple, Simon Storms, Daniel Trauth, Thomas Bergs, Christian Brecher, Stefan Decker, Gerhard Lakemeyer and Klaus Wehrle
IEEE Internet of Things Journal, 7(4):3243-3253
April 2020
ISSN: 2327-4662
Export as:
BibTeX, XML
- Impressum -