Резултати
Назив: | Formalization of Automated Trading Systems in a Concurrent Linear Framework | Аутори: | Cervesato, Iliano; Khan, Sharjeel; Reis, Giselle; Žunić, Dragiša | Година: | 2019 | Публикација: | Electronic Proceedings in Theoretical Computer Science | ISSN: | 2075-2180 Претражи идентификатор | Тип резултата: | Конференцијски рад | Колација: | vol. 292 str. 1-14 | DOI: | 10.4204/eptcs.292.1 | WoS-ID: | 000465440500003 | Scopus-ID: | 2-s2.0-85065790870 | URI: | https://enauka.gov.rs/handle/123456789/296504 | Извор метаподатака: | Migrirano iz RIS podataka | М-категорија: | Мп категорија ће бити приказана накнадно. |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.