Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by P.-A. Masson
Partitioned PLTL Model-Checking for Refined Transition Systems
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Related publications
Formula Based Abstractions of Transition Systems for Real-Time Model Checking
Resolution-Based Model Construction for PLTL
Using Statistical Model Checking for Measuring Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Symbolic Model Checking for Simply-Timed Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Checking Implicit-Invocation Systems
Comparison of Model Checking Tools for Information Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model-Checking for Real-Time Systems Specified in Lotos
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Probabilistic Model Checking of Regenerative Concurrent Systems
IEEE Transactions on Software Engineering
Software
Parameter Generation for Hierarchical Scheduling Systems Based on Model Checking
Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University
Engineering
