Letier, E. Fluent temporal logic for discrete-time event-based models. Software engineering notes..
Chicago Style (17. basım) AtıfLetier, Emmanuel. "Fluent Temporal Logic for Discrete-time Event-based Models." Software Engineering Notes. .
MLA (9th ed.) AtıfLetier, Emmanuel. "Fluent Temporal Logic for Discrete-time Event-based Models." Software Engineering Notes., .
Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..