DMCA
Model checking for nominal calculi (2005)
Cached
Download Links
- [www.it.uu.se]
- [www.cs.le.ac.uk]
- [www.cs.le.ac.uk]
- DBLP
Other Repositories/Bibliography
by
Gianluigi Ferrari
,
Ugo Montanari
,
Emilio Tuosto
Venue: | IN FOSSACS, VOLUME 3441 OF LNCS |
Citations: | 11 - 4 self |