Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Kyungmin Bae
Infinite-State Model Checking of LTLR Formulas Using Narrowing
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Global Model-Checking of Infinite-State Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
On-The-Fly Model Checking of RCTL Formulas
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Checking With SAT-Based Characterization of ACTL Formulas
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
Parallel State Space Construction for Model-Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Checking Using Net Unfoldings
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Checking Sequence Generation Using State Distinguishing Subsequences
