Nr. 44 (2001): RS-44 Predicate Abstraction for Dense Real-Time Systems

Publiceret: 2001-10-14

Artikler