Verification of a Radio-based Signaling System Using the Statemate Verification Environment

BIB
Damm, W. and Klose, J.
01 / 2001
article