Browse by Person (creator, editor, contributor, etc.)
Number of items: 3. Article
|
Hartel, P.H. and Feeley, M. and Alt, M. and Augustsson, L. and Baumann, P. and Beemster, M. and Chailloux, E. and Flood, C.H. and Grieskamp, W. and van G, J.H.G.
(1996)
The Pseudoknot Functional Benchmark.
Research Journal
.
The full text of this publication is not available from this repository.
|
|
Conference or workshop item
|
Bryans, J.W. and Blair, L. and Bowman, H. and Derrick, John
(2000)
Specification and Analysis of Automata-based Designs.
In: Grieskamp, W. and Stanten, T. and Stoddart, B., eds.
Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 2000. Proceedings.
Lecture Notes in Comuter Science, 1945.
Springer
pp. 176-193.
ISBN 3-540-41196-8.
|
|
|
Derrick, J. and Smith, G.
(2000)
Structural refinement in Object-Z / CSP.
In: Grieskamp, W. and Stanten, T. and Stoddart, B., eds.
Proceedings of the Second International Conference on Integrated Formal Methods.
Lecture Notes in Computer Science, 1945.
Springer
pp. 194-213.
ISBN 3-540-41196-8 .
|
|
This list was generated on Wed Jun 19 01:41:09 2013 BST. |
![[img]](http://kar.kent.ac.uk/style/images/fileicons/application_postscript.png)
![[img]](http://kar.kent.ac.uk/style/images/fileicons/application_pdf.png)
