Daniel Rikowski

Publication Activity (10 Years)

Years Active: 2008-2008
Publications (10 Years): 0

Publications

Stefan Edelkamp, Shahid Jabbar, Dino Midzic, Daniel Rikowski, Damian Sulewski
External Memory Search for Verification of Multi-threaded C++ Programs. Künstliche Intell. 22 (2) (2008)