T.A.C.: Model-checking processes with data (2005)

by J F Groote, Willemse
Venue:Science of Computer Programming