Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Lukasz Kaiser
Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Quantitative Model Checking of Systems With Degradation
PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
International Journal of Foundations of Computer Science
Computer Science
Probabilistic Modal μ-Calculus With Independent Product
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Model-Checking Linear-Time Properties of Parametrized Asynchronous Shared-Memory Pushdown Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Checking the Full Modal Mu-Calculus for Infinite Sequential Processes
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Model Checking Implicit-Invocation Systems
Fair SMG and Linear Time Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On-Line Model-Checking for Finite Linear Temporal Logic Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
