Verification of Temporal Properties of Processes in a Setting with Data (1999)

Cached

Download Links

by Jan Friso Groote , Radu Mateescu
Venue:In A.M. Haeberer, editor, AMAST’98, volume 1548 of LNCS
Citations:22 - 8 self