Towards a Logic for Inferring Properties of Event Streams.

Sean Kauffman, Rajeev Joshi, Klaus Havelund

Browse the full ISoLA paper archive.