Model-checking processes with data (2005)

Cached

Download Links

by J. F. Groote , T. A. C. Willemse
Venue:In Science of Computer Programming
Citations:8 - 3 self