Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Arnaud Da Costa

Quantified CTL: Expressiveness and Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Related publications

On Expressiveness and Complexity in Real-Time Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Checking Extended CTL Properties Using Guarded Quotient Structures

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
2007English

Symbolic Checking of Fuzzy CTL on Fuzzy Program Graph

Acta Informatica
Computer NetworksSoftwareInformation SystemsCommunications
2018English

Model Checking

1997English

Model Checking Software

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Regression Model Checking

2009English

Software Analysis and Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Model Checking Birth and Death

2002English

Model Checking Concurrent Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy