المؤلفون: Abate, Alessandro, Giacobbe, Mirco, Roy, Diptarko

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Electrical Engineering and Systems Science - Systems and Control

الوصول الحر: http://arxiv.org/abs/2405.17304Test

المؤلفون: Abate, Alessandro, Edwards, Alec, Giacobbe, Mirco, Punchihewa, Hashan, Roy, Diptarko

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Electrical Engineering and Systems Science - Systems and Control, F.3.1, D.2.4

الوصول الحر: http://arxiv.org/abs/2301.06136Test

المؤلفون: Abate, Alessandro, Giacobbe, Mirco, Roy, Diptarko

المصدر: Computer Aided Verification ; Lecture Notes in Computer Science ; page 3-26 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030816872 9783030816889

الإتاحة: https://doi.org/10.1007/978-3-030-81688-9_1Test

المؤلفون: Abate, Alessandro, Edwards, Alec, Giacobbe, Mirco, Punchihewa, Hashan, Roy, Diptarko

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, FOS: Electrical engineering, electronic engineering, information engineering, F.3.1, D.2.4, Systems and Control (eess.SY), Electrical Engineering and Systems Science - Systems and Control, Logic in Computer Science (cs.LO), Programming Languages (cs.PL)

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2f1481c1df4629c5b24d507b16ade42eTest
http://arxiv.org/abs/2301.06136Test

المؤلفون: Abate, Alessandro, Giacobbe, Mirco, Roy, Diptarko

العلاقة: https://zenodo.org/record/4727487Test; https://doi.org/10.5281/zenodo.4727487Test; oai:zenodo.org:4727487

الإتاحة: https://doi.org/10.5281/zenodo.4727487Test
https://doi.org/10.5281/zenodo.4727355Test
https://zenodo.org/record/4727487Test

المؤلفون: Abate, Alessandro (10728772), Giacobbe, Mirco (10728775), Roy, Diptarko (10728778)

مصطلحات موضوعية: Biochemistry, Neuroscience, Science Policy, Astronomical and Space Sciences not elsewhere classified, Biological Sciences not elsewhere classified, Chemical Sciences not elsewhere classified, Information Systems not elsewhere classified, Source, CAV 2021 Artefact Evaluation, Learning Probabilistic Termination ., virtualenvironment, http, UPDATE, VM, z 3-solver

العلاقة: https://figshare.com/articles/software/Learning_Probabilistic_Termination_Proofs_Source_/14518231Test

الإتاحة: https://doi.org/10.5281/zenodo.4727356Test