A Runtime Monitoring Framework for Event Streams with Non-Primitive Arguments
La quantification du premier ordre en logique temporelle