Bengt Jonsson · 6 obras en el catálogoObrasConcurrency theoryPrimary Open-Angle GlaucomaMModel-Based Testing of Reactive SystemsModel-Based Testing of Reactive SystemsTThe lumbar part of the erector spinae muscleThe lumbar part of the erector spinae muscleCConcur '94: Concurrency TheoryConcur '94: Concurrency TheoryProtocol Specification, Testing, and Verification XI