Citação norma APA

Samborski-Forlese, J. (2011). Two Algorithms for Model Checking of Regular Linear Temporal Logic.

Citação norma Chicago

Samborski-Forlese, Julian. Two Algorithms for Model Checking of Regular Linear Temporal Logic. 2011.

Citação norma MLA

Samborski-Forlese, Julian. Two Algorithms for Model Checking of Regular Linear Temporal Logic. 2011.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.