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