You have Guest access.
Log In
Volume 1 / 1971 - Volume 49 / 2012
1-21
Original Article
Parallel LL parsing
Ladislav Vagner and Bořivoj Melichar
23-39
An exact subexponential-time lattice algorithm for Asian options
Tian-Shyr Dai and Yuh-Dauh Lyuu
41-71
On using data abstractions for model checking refinements
John Derrick and Heike Wehrheim
73
Publisher's Erratum
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info