J. R. Hulance

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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 10²⁰ 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

	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 10²⁰ 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

Coauthor Index

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]