|
|||||
|
|
Refinement checking on parametric modal transition systems |
|
| Authors: | Nikola Bene? Jan K?etínský Kim G Larsen Mikael H Møller Salomon Sickert Ji?í Srba |
| Affiliation: | 1. Faculty of Informatics, Masaryk University, Brno, Czech Republic 2. IST, Klosterneuburg, Austria 3. Department of Computer Science, Aalborg University, Aalborg, Denmark 4. Technical University Munich, Munich, Germany |
| Abstract: | |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |