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

Up a level

Export as ASCII CitationBibTeXDublin CoreEP3 XMLEndNoteHTML CitationJSONMETSObject IDsOpenURL ContextObjectRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager	Atom RSS 1.0 RSS 2.0

Group by: Item Type | Date | No Grouping

Jump to: Book section

Number of items: 1.

Book section

Kettle, N. and King, A.M. and Strzemecki, T. (2006) Widening ROBDDs with Prime Implicants. In: Hermanns, H. and Palsberg, J., eds. Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science, 3920 . Springer-Verlag, Berlin, pp. 105-119. ISBN 978-3-540-33056-1.

Preview

This list was generated on Thu May 23 08:38:14 2013 BST.