1
Published 2006
Table of Contents: ... Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System...
View full text
Electronic eBook