| Original language | English |
|---|---|
| Journal | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Volume | 9938 LNCS |
| State | Published - 2016 |
| Event | 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016 - Chiba, Japan Duration: 17 Oct 2016 → 20 Oct 2016 |