Protocol Specification, Testing, and Verification XIde Bengt JonssonEdiciones (1)Protocol Specification, Testing, and Verification XI (1991)North-Holland · inglés · ISBN 9780444892102Más obras de Bengt JonssonConcurrency theoryPrimary Open-Angle GlaucomaMModel-Based Testing of Reactive SystemsModel-Based Testing of Reactive Systems