Nr. 59 (1996): RS-59 Compositional and Symbolic Model-Checking of Real-Time Systems

Publiceret: 1996-06-29

Artikler