المؤلفون: Abate, Alessandro, Giacobbe, Mirco, Schnitzer, Yannik

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Machine Learning

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

المؤلفون: Biewer, Sebastian, Finkbeiner, Bernd, Hermanns, Holger, Köhl, Maximilian A., Schnitzer, Yannik, Schwenger, Maximilian

مصطلحات موضوعية: Computer Science - Computers and Society, Computer Science - Formal Languages and Automata Theory

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

المؤلفون: Schnitzer, Yannik

العلاقة: https://dx.doi.org/10.5281/zenodo.10947061Test

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

المؤلفون: Biewer, Sebastian, Finkbeiner, Bernd, Hermanns, Holger, Köhl, Maximilian A., Schnitzer, Yannik, Schwenger, Maximilian

المساهمون: Universität des Saarlandes

المصدر: International Journal on Software Tools for Technology Transfer ; volume 25, issue 2, page 205-218 ; ISSN 1433-2779 1433-2787

مصطلحات موضوعية: Information Systems, Software

الإتاحة: https://doi.org/10.1007/s10009-022-00689-5Test