Items where Author is "Ho, H.M."

Up a level
Export as [feed] Atom [feed] RSS
Group by: Item Type | Full Text | No Grouping
Jump to: Article
Number of items: 1.

Article

file
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.

This list was generated on Thu Mar 28 13:53:40 2024 UTC.