LLecture notes in computer science1/1/2026A Visual Formalism for the Specification of Maritime Traffic ScenariosAnna Austel·Nina Wetzig·Georg HakeRead at Lecture notes in computer scienceTagsFormal Methods in VerificationComputational Theory and Mathematics
