Вы здесь

Gardiner P.H. B.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Hierarchical Compression for Model-Checking CSP or How to Check 10 Dining Philosophers for Deadlock 1995 Roscoe A. W., Gardiner P.H. B., Goldsmith M. H., Hulance J. R., Jackson D. M., Scattergood J. B. Lecture Notes in Computer Science 11.01.1996