Model-checking fair dense-time systems with propositions and events

Journal

International Journal on Software Tools for Technology Transfer

Journal Volume

17

Journal Issue

2

Pages

223-243

Date Issued

2015

Author(s)

DOI

10.1007/s10009-014-0312-7

URI

https://scholars.lib.ntu.edu.tw/handle/123456789/497143

URL

https://www.scopus.com/inward/record.uri?eid=2-s2.0-84924851353&doi=10.1007%2fs10009-014-0312-7&partnerID=40&md5=e00823f2eaa147f3e1ef0c1a5dfbb6a1

Type

journal article