Item request has been placed!
×
Item request cannot be made.
×
Processing Request
Determinizing monitors for HML with recursion
Item request has been placed!
×
Item request cannot be made.
×
Processing Request
- معلومة اضافية
- Contributors:
Ministero dell’Istruzione, dell’Università e della Ricerca; Icelandic Centre for Research
- بيانات النشر:
Elsevier BV
- الموضوع:
2020
- Collection:
ScienceDirect (Elsevier - Open Access Articles via Crossref)
- الرقم المعرف:
10.1016/j.jlamp.2019.100515
- Rights:
https://www.elsevier.com/tdm/userlicense/1.0/ ; http://www.elsevier.com/open-access/userlicense/1.0/ ; https://doi.org/10.15223/policy-017 ; https://doi.org/10.15223/policy-037 ; https://doi.org/10.15223/policy-012 ; https://doi.org/10.15223/policy-029 ; https://doi.org/10.15223/policy-004
- الرقم المعرف:
edsbas.3077E57D
No Comments.