Letier, E. Fluent temporal logic for discrete-time event-based models. Software engineering notes..
Cita Chicago (17th ed.)Letier, Emmanuel. "Fluent Temporal Logic for Discrete-time Event-based Models." Software Engineering Notes. .
Cita MLA (9th ed.)Letier, Emmanuel. "Fluent Temporal Logic for Discrete-time Event-based Models." Software Engineering Notes., .
Atenció: Aquestes cites poden no estar 100% correctes.