Вы здесь

Jackson D. M.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Automated Formal Analysis of Networks: FDR Models of Arbitrary Topologies and Flow-Control Mechanisms 1998 Reed J. N., Jackson D. M., Deianov B., Reed G. M. Lecture Notes in Computer Science 18.04.1998
СТ 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