An Interface Algebra for Real-Time Components.
Thomas A. Henzinger, Slobodan Matic
VenueARTAS
Year2006
ProceedingsIEEE Real Time Technology and Applications Symposium
DBLP recordconf/rtas/HenzingerM06 ↗
Browse the full RTAS paper archive.
Thomas A. Henzinger, Slobodan Matic
Browse the full RTAS paper archive.