Skip to content

LAA

Seminar

Automatic refinement and vacuity detection for symbolic trajectory evaluation

Grumberg, OG (Technion)
Wednesday 10 May 2006, 11:30-12:00

Seminar Room 1, Newton Institute

Presentation

[ppt ]

Audio

MP3MP3 Real AudioReal Audio

Back to top ∧