Citações do registo

Citação norma APA

López-Rueda, R., Escobar Román, S., & Sapiña-Sanchis, J. (2023). An Efficient Canonical Narrowing Implementation with Irreducibility and SMT Constraints for Generic Symbolic Protocol Analysis.

Citação norma Chicago

López-Rueda, Raúl|||0000-0002-2550-8041, Santiago|||0000-0002-3550-4781 Escobar Román, y Julia|||0000-0003-2994-6986 Sapiña-Sanchis. An Efficient Canonical Narrowing Implementation With Irreducibility and SMT Constraints for Generic Symbolic Protocol Analysis. 2023.

Citação norma MLA

López-Rueda, Raúl|||0000-0002-2550-8041, Santiago|||0000-0002-3550-4781 Escobar Román, y Julia|||0000-0003-2994-6986 Sapiña-Sanchis. An Efficient Canonical Narrowing Implementation With Irreducibility and SMT Constraints for Generic Symbolic Protocol Analysis. 2023.

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

Warning: fopen(/tmp/vufind_sessions/sess_0ihut9b9q3pv16nm7m6oklsajr): failed to open stream: No space left on device in /usr/local/vufind/module/VuFind/src/VuFind/Session/File.php on line 153
Cannot write session to /tmp/vufind_sessions/sess_0ihut9b9q3pv16nm7m6oklsajr
Warning: session_write_close(): Failed to write session data using user defined save handler. (session.save_path: /var/lib/php/session) in /usr/local/vufind/vendor/zendframework/zend-session/src/SessionManager.php on line 234