Skip to main content
University of Pennsylvania
School of Arts and Sciences
Penn A-Z
Penn Calendar
Department of
Mathematics
Search form
Search
Search
Department of Mathematics
Home
About
People
Undergraduate
Graduate
Courses
News
Events
Contact
Search
Search
Verisim: Formal Analysis of Network Simulations
Logic and Computation Seminar
Monday, November 6, 2000 - 4:30pm
Carl A. Gunter
University of Pennsylvania
Location
University of Pennsylvania
Moore 554
Press for Abstract