Search for persons
X
?
4
Alpiner Tourismus in disruptiven Zeiten
Schweizer Jahrbuch für Tourismus 2022/2023
St. Galler Schriften für Tourismus und Verkehr ; 14
?
Intelligent Systems Reference Library; Challenges of Software Verification ,
5
The Top-Down Solver—An Exercise in $$\text {A}^{2}$$I:
, In:
?
St. Galler Schriften für Tourismus und Verkehr; Alpiner Tourismus in disruptiven Zeiten ,
6
Tourismuspolitische Lobbykommunikation in Zeiten der Krise:..:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
11