dblp.uni-trier.dewww.uni-trier.de

J. B. Scattergood

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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 1020 Dining Philosophers for Deadlock. TACAS 1995: 133-152

Coauthor Index

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)