Filter
Sökt på: Sökresultat
Filter
1 träff
Tools and Algorithms for the Construction and Analysis of Systems
häftad,
2000,
Engelska,
ISBN 9783540672821
This book constitutes the refereed proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2000, held as part of …