Script: A communication abstraction mechanism and its verification
Nissim Francez, Brent Hailpern, Gadi TaubenfeldТом:
6
Рік:
1986
Мова:
english
Сторінки:
54
DOI:
10.1016/0167-6423(86)90018-3
Файл:
PDF, 2.89 MB
english, 1986