DMCA

Model checking for nominal calculi (2005)

Cached

Download Links

by Gianluigi Ferrari , Ugo Montanari , Emilio Tuosto
Venue:IN FOSSACS, VOLUME 3441 OF LNCS
Citations:11 - 4 self