Rosenblum, D. and D. Luckham "Testing the correctness of tasking supervisors with TSL specifications" pp187-196

Rosenblum, D. and D. Luckham (1989) Rosenblum, D. and D. Luckham "Testing the correctness of tasking supervisors with TSL specifications" pp187-196  

Languages mentioned TSL {1985} Parallel Ada

Rosenblum, D. and D. Luckham (1989) Rosenblum, D. and D. Luckham "Testing the correctness of tasking supervisors with TSL specifications" pp187-196 Rosenblum, D. and D. Luckham (1989)Rosenblum, D. and D. Luckham "Testing the correctness of tasking supervisors with TSL specifications" pp187-196