H. P. Korver

Detecting feature interacties with Caesar/Aldébaran

H. P. Korver, 1993 .

The current state of bisimulation tools

H. P. Korver, 1991 .

Protocol Verification in mCRL

H. P. Korver, 1994 .

A well-formedness checker for ?CRL

H. P. Korver, J. A. Hillebrand, H. Korver, 1995 .

Detecting Feature Interactions with Caesar/aldebaran Detecting Feature Interactions with Ccsar=ald Ebaran

H. P. Korver, Henri Korver, 1993 .