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