Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Jump to: Conference or workshop item
Number of items: 2.

Conference or workshop item

Brauer, Jorg and King, Andy (2011) Approximate Quantifier Elimination for Propositional Boolean Formulae. In: Third NASA Formal Methods Symposium. The full text of this publication is not available from this repository.

Boiten, Eerke A. (2010) Security specification: completeness, feasibility, refinement. In: UNSPECIFIED. The full text of this publication is not available from this repository.

This list was generated on Tue Jun 18 22:09:00 2013 BST.
University of Kent | About this repository | Feedback | Latest additions