[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 10206 ||
Legay, Axel, Margaria, TizianaVolume:
10.1007/97
Year:
2017
Language:
english
DOI:
10.1007/978-3-662-54580-5
File:
PDF, 16.70 MB
english, 2017