Login / Signup
Proof Hints for Event-B
Thai Son Hoang
Published in:
CoRR (2012)
Keyphrases
</>
event detection
theorem proving
metadata
search algorithm
event recognition
event types
information retrieval
social networks
information systems
theorem prover
complex events
event models
events occur