Number of items: 3.
Article
|
Hartel, Pieter H. and Feeley, Marc and Alt, Martin and Augustsson, Lennart and Baumann, Peter and Beemster, Marcel and Chailloux, Emmanuel and Flood, Christine H. and Grieskamp, Wolfgang and van Groningen, John H.G.
(1996)
The Pseudoknot Functional Benchmark.
Research Journal,
.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
Conference or workshop item
|
Bryans, Jeremy W. and Blair, Lynne and Bowman, Howard and Derrick, John
(2000)
Specification and Analysis of Automata-based Designs.
In: Grieskamp, Wolfgang and Stanten, Thomas and Stoddart, Bill, eds.
Integrated Formal Methods (IFM 2000).
Lecture Notes in Comuter Science, 1945.
Springer
pp. 176-193.
ISBN 3-540-41196-8.
(Full text available)
|
|
|
Derrick, John and Smith, Graeme
(2000)
Structural refinement in Object-Z / CSP.
In: Grieskamp, Wolfgang and Stanten, Thomas and Stoddart, Bill, eds.
Integrated Formal Methods (IFM 2000).
Lecture Notes in Computer Science, 1945.
Springer
pp. 194-213.
ISBN 3-540-41196-8.
(Full text available)
|
|
This list was generated on Mon Apr 15 21:42:58 2019 BST.
