Proofs for Chapter 5

  • Holger Hermanns
Chapter
First Online:
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2428)

Keywords

Equivalence Relation Induction Hypothesis Free Variable Markovian Transition Symmetric Relation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in to check access.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Holger Hermanns
    • 1
  1. 1.Faculty of Computer Science Formal Methods and Tools GroupUniversity of TwenteAE EnschedeThe Netherlands

Personalised recommendations