Model checking for nominal calculi (2005)

Cached

Download Links

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