Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

62

Voted

CORR
2008
Springer

88views Education» more CORR 2008»

On (Omega-)Regular Model Checking

15 years 2 months ago

On (Omega-)Regular Model Checking

Download tocl.acm.org

Axel Legay, Pierre Wolper

Real-time Traffic

CORR 2008 | Education |

claim paper

Related Content

» Asynchronous OmegaRegular Games with Partial Information

» Concurrent OmegaRegular Games

» On Convergence of Concurrent Systems under Regular Interactions

» Model Checking for Verification of Mandatory Access Control Models and Properties

» LTL satisfiability checking

» A Practical Linear Time Algorithm for Trivial Automata Model Checking of HigherOrder Recur...

» Leveraging Interpolant Strength in Model Checking

» Synthesis of attack actions using model checking for the verification of security protocol...

» Replaying history on process models for conformance checking and performance analysis

Post Info
More Details (n/a)

Added	09 Dec 2010
Updated	09 Dec 2010
Type	Journal
Year	2008
Where	CORR
Authors	Axel Legay, Pierre Wolper

Comments (0)