Items where Author is "Worrell, J"
Jump to: Public
Number of items: 1.
Public
HO, H.M., OUAKNINE, J and WORRELL, J
(2019).
On the expressiveness and monitoring of metric temporal logic.
Logical Methods in Computer Science, 15 (2), 13:1-13:52.
[Article]