About this scholarly article

Tools and Algorithms for the Construction and Analysis of Systems Volume 2031 by Margaria, Tiziana; Yi, Wang is a scholarly article available to read on EtoBox.

Author

Margaria, Tiziana; Yi, Wang

Publisher

Springer Berlin Heidelberg

Published

2001