![]() | ![]() |
1995 | ||
---|---|---|
2 | 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 | |
1994 | ||
1 | Jim Woodcock, Paul H. B. Gardiner, J. R. Hulance: The Formal Specification in Z of Defence Standard 00-56. Z User Workshop 1994: 9-28 |
1 | Paul H. B. Gardiner | [1] [2] |
2 | Michael Goldsmith | [2] |
3 | D. M. Jackson | [2] |
4 | A. W. Roscoe (A. William Roscoe, Bill Roscoe) | [2] |
5 | J. B. Scattergood | [2] |
6 | Jim Woodcock (J. C. P. Woodcock) | [1] |