A decidable timeout-based extension of linear temporal logic
-
Published:2014-07-03
Issue:3
Volume:24
Page:262-291
-
ISSN:1166-3081
-
Container-title:Journal of Applied Non-Classical Logics
-
language:en
-
Short-container-title:Journal of Applied Non-Classical Logics
Author:
Misra Janardan,Roy Suman
Publisher
Informa UK Limited