author : Stefan Edelkamp

Short works

• Error Detection with Directed Symbolic Model Checking. 1999. (In FM'99 volume 1 )