Back to Results
First PageMeta Content
Formal methods / Logic in computer science / Temporal logic / Runtime verification


Towards a Logic for Inferring Properties of Event Streams? Sean Kauffman1 , Rajeev Joshi2 , and Klaus Havelund2 1 2
Add to Reading List

Document Date: 2018-01-10 13:23:57

Open Document

File Size: 245,47 KB

Share Result on Facebook
UPDATE