Verification: Difference between revisions

From John C. Doyle
Jump to navigation Jump to search
VisualWikitext
 
(20 intermediate revisions by the same user not shown)
Line 1: Line 1:


== Objectives ==
Current Participants:
*[http://www.cds.caltech.edu/people/portal/?id=758 Vanessa D. Carson] (Student, CDS)
*[http://www.cds.caltech.edu/~andyl/ Andrew Lamperski] (Student, CDS)
*Danielle Tarraf (Professor, Johns Hopkins)
== Publications ==
== Lectures ==

Latest revision as of 16:53, 22 May 2008

Retrieved from "https://doyle.caltech.edu/index.php?title=Verification&oldid=2272"