J. B. Scattergood

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1995

1 A. W. Roscoe, Paul H. B. Gardiner, Michael Goldsmith, J. R. Hulance, D. M. Jackson, J. B. Scattergood: Hierarchical Compression for Model-Checking CSP or How to Check 10²⁰ Dining Philosophers for Deadlock. TACAS 1995: 133-152

	1995
1		A. W. Roscoe, Paul H. B. Gardiner, Michael Goldsmith, J. R. Hulance, D. M. Jackson, J. B. Scattergood: Hierarchical Compression for Model-Checking CSP or How to Check 10²⁰ Dining Philosophers for Deadlock. TACAS 1995: 133-152

Coauthor Index

1	Paul H. B. Gardiner	[1]
2	Michael Goldsmith	[1]
3	J. R. Hulance	[1]
4	D. M. Jackson	[1]
5	A. W. Roscoe (A. William Roscoe, Bill Roscoe)	[1]