Testing Reactive Systems on the Basis of Formal Specifications

Author

-------,DiamlerChrysler AG