Published in
Springer Verlag, Advances in Intelligent Systems and Computing, p. 49-57
DOI: 10.1007/978-3-319-46206-6_6
Links
Tools
A Quantitative Approach for Linear Temporal Logic
Book chapter published in 2016 by
Hui-Xian Shi
This paper was not found in any repository, but could be made available legally by the author.
Full text: Unavailable
Published version:
archiving forbidden
Data provided by 
