[IEEE Comput. Soc. Press [1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference - Chicago, IL, USA (21-25 Sept. 1992)] [1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference - The use of formal methods in parallel operating systems
Keane, J.A., Hussak, W.Year:
1992
Language:
english
DOI:
10.1109/cmpsac.1992.217560
File:
PDF, 531 KB
english, 1992