Bounded model checking of Contiki applications.

Thilo Vrtler, Steffen Rlke, Petra Hofstedt

Browse the full DDECS paper archive.