Paul H. B. Gardiner
According to our database1,
Paul H. B. Gardiner
authored at least 13 papers
between 1990 and 2003.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2003
Theor. Comput. Sci., 2003
Proceedings of the Model Checking Software, 2003
1996
Formal Aspects Comput., 1996
1995
Hierarchical Compression for Model-Checking CSP or How to Check 10<sup>20</sup> Dining Philosophers for Deadlock.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1995
1994
Proceedings of the Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings, 1994
1993
1992
1991
1990
A Simpler Semantics for Z.
Proceedings of the Z User Workshop, 1990