DMCA

Non-deterministic computations in ELAN (1998)

Cached

Download Links

by Hélène Kirchner , Pierre-etienne Moreau
Venue:Recent Developments in Algebraic Speci Techniques, Proc. 13th WADT'98, volume 1589 of LNCS
Citations:7 - 1 self