![](/img/cover-not-exists.png)
[Smart Innovation, Systems and Technologies] Agent and Multi-Agent Systems: Technology and Applications Volume 58 || Efficient Model Checking Timed and Weighted Interpreted Systems Using SMT and SAT Solvers
Jezic, Gordan, Chen-Burger, Yun-Heh Jessica, Howlett, Robert J., Jain, Lakhmi C.Volume:
10.1007/97
Year:
2016
Language:
english
DOI:
10.1007/978-3-319-39883-9_4
File:
PDF, 271 KB
english, 2016