Found: 1
Select item for more details and to access through your institution.
Efficient model-checking of weighted CTL with upper-bound constraints.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 4, p. 409, doi. 10.1007/s10009-014-0359-5
- By:
- Publication type:
- Article