Yonit Kesten, Amir Pnueli, Li-on Raviv (auth.), Kim G. Larsen, Sven Skyum, Glynn Winskel (eds.)

Automata, Languages and Programming: 25th International Colloquium, ICALP’98 Aalborg, Denmark, July 13–17, 1998 Proceedings