Advertisement

Formal Background and Notations

Chapter
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2262)

Abstract

In this appendix, we explain the formal background of our techniques and explain notations and naming conventions.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Personalised recommendations