© University of Kent - Contact | Feedback | Legal | FOI | Cookies
The Pseudoknot functional benchmark
Pieter H. Hartel, Marc Feeley, Martin Alt, Lennart Augustsson, Peter Baumann, Marcel Beemster, Emmanuel Chailloux, Christine H. Flood, Wolfgang Grieskamp, and John H. G. van G
Research Journal, pages 182-196, January 1996.Bibtex Record
@article{15,
author = {Pieter H. Hartel and Marc Feeley and Martin Alt and Lennart Augustsson and Peter Baumann and Marcel Beemster and Emmanuel Chailloux and Christine H. Flood and Wolfgang Grieskamp and John H. G. van G},
title = {The {P}seudoknot Functional Benchmark},
month = {January},
year = {1996},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1996/15},
journal = {Research Journal},
publisher = {Department of Electronics and Computer Science, University of Southampton},
}