![](/img/cover-not-exists.png)
SMT-Based Symbolic Encoding and Formal Analysis of HML Models
Fang, Huixing, Zhu, Huibiao, He, JifengVolume:
21
Language:
english
Journal:
Mobile Networks and Applications
DOI:
10.1007/s11036-015-0671-7
Date:
February, 2016
File:
PDF, 3.21 MB
english, 2016