Verification of temporal properties of processes in a setting with data (1999)

by J F Groote, R Mateescu
Venue:In A.M. Haeberer, editor, AMAST’98, volume 1548 of LNCS