TIME'05 - Invited Talks
Indexing Inventory Snapshots
Betty Salzberg
Time and the Semantic Web
James Pustejovsky
Generalized Model Checking
Patrice Godefroid
Return to TIME'05 session listing
©2006 Association for Computing Machinery