Automated Technology for Verification and Analysis
Springer International Publishing AG, 2016
66,50 €On orderDelivery: 2-3 weeks
This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016. The 31 papers presented in this volume were carefully reviewed and selected from 82 submissions. Markov models, chains, and decision processes;
- ISBN-13
- 9783319465197
- ISBN-10
- 3319465198
- Publisher
- Springer International Publishing AG
- Year
- 2016
- Publication date
- 2016-09-22
- Pages
- 530
- Dimensions
- 235x155x