Sven Linker
发表
U. Hustadt,
M. Fisher,
Clare Dixon,
2020,
Formal Methods in System Design.
Michele Sevegnani,
Sven Linker,
Fabio Papacchini,
2020,
MFCS.
Clare Dixon,
Michael Fisher,
Ullrich Hustadt,
2018,
Formal Methods Syst. Des..
Sven Linker,
Peter Chapman,
Leonie Bosveld-de Smet,
2020,
Diagrams.
Michele Sevegnani,
Sven Linker,
Michele Sevegnani,
2018,
ALP4IoT@iFM.
Ernst-Rüdiger Olderog,
Gregor von Bochmann,
Sven Linker,
2017,
Formal Aspects of Computing.
Sven Linker,
Martin Hilscher,
Sven Linker,
2015,
ICTAC.
Sven Linker,
Sven Linker,
2017,
IFM.
Mario Gleirscher,
Martin Leucker,
Sven Linker,
2019,
Dagstuhl Reports.
Angelo Ferrando,
Terry R. Payne,
Sven Linker,
2021,
The Multi-Agent Programming Contest 2021.
Sven Linker,
Sven Linker,
2012,
2012 12th International Conference on Application of Concurrency to System Design.
Anders P. Ravn,
Ernst-Rüdiger Olderog,
Sven Linker,
2011,
ICFEM.
Ernst-Rüdiger Olderog,
Sven Linker,
Martin Hilscher,
2013,
Theories of Programming and Formal Methods.
Ernst-Rüdiger Olderog,
Johannes Faber,
Sven Linker,
2011,
Int. J. Softw. Informatics.
Sven Linker,
Sven Linker,
2020,
Diagrams.
Sven Linker,
Sven Linker,
2020,
ArXiv.
Michael Fisher,
Maryam Kamali,
Sven Linker,
2018,
FTSCS.
Sven Linker,
Sven Linker,
2010,
Diagrams.
Michele Sevegnani,
Sven Linker,
Fabio Papacchini,
2021,
MFCS.
R. C. Cardoso,
T. Payne,
Matt Luckcuck,
2021,
The Multi-Agent Programming Contest 2021.
Clare Dixon,
Michael Fisher,
Ullrich Hustadt,
2017,
ICFEM.