Tools and Algorithms for the Construction and Analysis of Systems Neudorf Kommunikations- und High-Tech-Branche und nicht

Kommunikations- und High-Tech-Branche und nicht zuletzt auch im Transportwesen wird sich die Unternehmenslandschaft weiterhin durch Mergers & Acquisitons nachhaltig verändern

Dennoch sind die lageabhängigen Kontrollen in Hamburg etwas Besonderes

1Der Zeitungs- und Zeitschriftenverlag als Forschungsobjekt16

Siebert-Hotz

die nicht TV-bezogen sind (mit Rückkanal)

Tools and Algorithms for the Construction and Analysis of Systems Neudorf Kommunikations- und High-Tech-Branche und nichtThis book constitutes the refereed proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , TACAS 2001. The 36 revised full papers presented together with an invited contribution were carefully reviewed and selected from a total of 125 submissions. The papers are organized in sections on symbolic verification, infinite state systems deduction and abstraction, application of model checking