Towards a Logic for Inferring Properties of Event Streams

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-47169-3_31 ◽

2016 ◽

pp. 394-399 ◽

Cited By ~ 1

Author(s):

Sean Kauffman ◽

Rajeev Joshi ◽

Klaus Havelund

Download Full-text