MPG.eBooks - Search Results - %22Weak interaction%22

Search alternatives:
22weak interaction » weak interaction , weak interactions , wear interaction

Cover Image

1

Tools and Algorithms for the Construction of Analysis of Systems : 5th International Conference, TACAS'99, Held as Part of the Joint European Conferences on Theory and Practice of...

Published 1999

Springer Berlin Heidelberg

Table of Contents: “... the Up-To Techniques for Bisimulation Verification -- Computing Strong/Weak Bisimulation Equivalences...”