Institute of Software Engineering and Programming Languages

Postal addressShow on map
Ratzeburger Allee 160, Hs. 64
23562 Lübeck
Germany

Filter

2019

Preface to special issue: ICTAC 2015
Leucker, M., Pérez, J. A., Rueda, C. & Valencia, F. D., 01.01.2019, In: Mathematical Structures in Computer Science. 29, 1, p. 1-2 2 p.
Research output: Journal Articles › Editorial
2014
Guest editors' preface to special issue on interval temporal logics
Moszkowski, B., Guelev, D. & Leucker, M., 01.01.2014, In: Annals of Mathematics and Artificial Intelligence. 71, 1-3, p. 1-9 9 p.
Research output: Journal Articles › Editorial

Research output