( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Generic Model Checking for Modal Fixpoint Logics in COOL-MC.

, , , , и . VMCAI (1), том 14499 из Lecture Notes in Computer Science, стр. 171-185. Springer, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Daniel Hausmann

Daniel Hausmann

Daniel Hausmann

Daniel Hausmann-Thürig

Daniel Ferdinand Hausmann

 

Другие публикации лиц с тем же именем

Iterative Circular Coinduction for CoCASL in Isabelle/HOL, , и . Fundamental Approaches to Software Engineering 2005, том 3442 из Lecture Notes in Computer Science, стр. 341-356. Springer; Berlin; http://www.springer.de, (2005)Quasipolynomial Computation of Nested Fixpoints., и . TACAS (1), том 12651 из Lecture Notes in Computer Science, стр. 38-56. Springer, (2021)Generic Model Checking for Modal Fixpoint Logics in COOL-MC., , , , и . VMCAI (1), том 14499 из Lecture Notes in Computer Science, стр. 171-185. Springer, (2024)Faster Game Solving by Fixpoint Acceleration.. CoRR, (2024)Fair ømega-Regular Games., , , и . FoSSaCS (1), том 14574 из Lecture Notes in Computer Science, стр. 13-33. Springer, (2024)Distribution of Reconfiguration Languages maintaining Tree-like Communication Topology., , и . CoRR, (2024)Benchmarking scripts for COOL 2.4., , , , , и . (июня 2023)A Coalgebraic Approach to the Semantics of the Ambient Calculus, , и . Theoretical Computer Science, 366 (1-2): 121-143 (2006)Extends (Hausmann et al. 2005).Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung., , , , и . Software Engineering (Workshops), том P-122 из LNI, стр. 335-338. GI, (2008)Cheap CTL Compassion in NuSMV., , , и . VMCAI, том 11990 из Lecture Notes in Computer Science, стр. 248-269. Springer, (2020)