-
1تقرير
-
2تقرير
-
3
-
4تقرير
المؤلفون: Carr, Steven, Jansen, Nils, Wimmer, Ralf, Serban, Alexandru C., Becker, Bernd, Topcu, Ufuk
الوصول الحر: http://arxiv.org/abs/1903.08428Test
-
5
-
6
المؤلفون: Erb, Dominik, Becker, Bernd, Wimmer, Ralf, Scheibler, Karsten
-
7
-
8
-
9تقرير
-
10تقرير
المؤلفون: Junges, Sebastian, Jansen, Nils, Wimmer, Ralf, Quatmann, Tim, Winterer, Leonore, Katoen, Joost-Pieter, Becker, Bernd
مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Systems and Control
الوصول الحر: http://arxiv.org/abs/1710.10294Test