Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2010
Geilen, M. and Tripakis, S. and Wiggers, M.H.
(2010)
The Earlier the Better: A Theory of Timed Actor Interfaces.
Technical Report UCB/EECS-2010-130
EECS Department, University of California, Berkeley.
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||