|
CIAA2003 |
START ConferenceManager |
Invited Lecture: Automata for Specifying Component Interfaces
Thomas A. Henzinger, University of California, Berkeley
Presented at
Eighth International Conference on Implementation and Application of
Automata (CIAA 2003),
July 16-18, 2003
Santa Barbara, CA, USA
Abstract
PDF