On the Scalability of Description Logic Instance Retrieval Volker HaarslevRalf Möller OriginalPaper 01 August 2008 Pages: 99 - 142
Differential Dynamic Logic for Hybrid Systems André Platzer OriginalPaper Open access 20 August 2008 Pages: 143 - 189