Text
Tools and Algorithms for the Construction and Analysis of Systems
The LNCS series reports state-of-art result in computer science research , development , and education, at a high level and in both printed and electronic form .
No other version available