Special issue of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015) |
| |
Authors: | Baier Christel Tinelli Cesare |
| |
Affiliation: | 1.TU Dresden, Dresden, Germany ;2.The University of Iowa, Iowa City, IA, USA ; |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|