Skip to content

LAA

Seminar

Towards more efficient SAT-based model checking

Marques-Silva, J (University of Southampton)
Tuesday 09 May 2006, 11:30-12:00

Seminar Room 1, Newton Institute

Presentation

[ppt ]

Back to top ∧