skip to main content
Caltech

Information Science and Technology Seminar

Wednesday, January 23, 2008
4:00pm to 5:00pm
Add to Cal
Jorgensen 74
Abstraction Methods for Liveness
Amir Pnueli, professor of computer science, New York University,

"Abstraction Methods for Liveness," Amir Pnueli, professor of computer science, New York University.

For more information, please contact Rachel Barnes by phone at x2246 or by email at [email protected].