["Te",["Teaching Award TUD 2004/en","Team Project \u201cModel Checking\u201d","Team Project \u201cModel Checking\u201d/en","Team Project \u201cModel Checking\u201d (SS2025)","Team Project \u201cModel Checking\u201d (SS2025)/en","Teamprojekt \"Model Checking\" (WS2025)","Teamprojekt \"Model Checking\" (WS2025)/en","Teamprojekt Model Checking (SS2026)","Teamprojekt Model Checking (SS2026)/en","Technische Universit\u00e4t Wien"],["","","","","","","","","",""],["https://iccl.inf.tu-dresden.de/web/Teaching_Award_TUD_2004/en","https://iccl.inf.tu-dresden.de/web/Team_Project_%E2%80%9CModel_Checking%E2%80%9D","https://iccl.inf.tu-dresden.de/web/Team_Project_%E2%80%9CModel_Checking%E2%80%9D/en","https://iccl.inf.tu-dresden.de/web/Team_Project_%E2%80%9CModel_Checking%E2%80%9D_(SS2025)","https://iccl.inf.tu-dresden.de/web/Team_Project_%E2%80%9CModel_Checking%E2%80%9D_(SS2025)/en","https://iccl.inf.tu-dresden.de/web/Teamprojekt_%22Model_Checking%22_(WS2025)","https://iccl.inf.tu-dresden.de/web/Teamprojekt_%22Model_Checking%22_(WS2025)/en","https://iccl.inf.tu-dresden.de/web/Teamprojekt_Model_Checking_(SS2026)","https://iccl.inf.tu-dresden.de/web/Teamprojekt_Model_Checking_(SS2026)/en","https://iccl.inf.tu-dresden.de/web/Technische_Universit%C3%A4t_Wien"]]