[Smart Innovation, Systems and Technologies] Agent and...

  • Main
  • [Smart Innovation, Systems and...

[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.
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
10.1007/97
Year:
2016
Language:
english
DOI:
10.1007/978-3-319-39883-9_4
File:
PDF, 271 KB
english, 2016
Conversion to is in progress
Conversion to is failed