Search Results - "Maquet, Nicolas" :: K.UTB vyhledávací portál

Loading…

Fixed point guided abstraction refinement for alternating automata: Implementation and Application of Automata (CIAA 2009)

by GANTY, Pierre, MAQUET, Nicolas, RASKIN, Jean-François
Published in Theoretical computer science (2010)

Get full text

Journal Article

Loading…

Fixed point guided abstraction refinement for alternating automata

by Ganty, Pierre, Maquet, Nicolas, Raskin, Jean-François
Published in Theoretical computer science (28.08.2010)

Get full text

Journal Article

Loading…

Lattice-Valued Binary Decision Diagrams

by Geeraerts, Gilles, Kalyon, Gabriel, Le Gall, Tristan, Maquet, Nicolas, Raskin, Jean-Francois
Published in Automated Technology for Verification and Analysis (2010)

Get full text

Book Chapter

Loading…

ALASKA Antichains for Logic, Automata and Symbolic Kripke Structures Analysis

by De Wulf, Martin, Doyen, Laurent, Maquet, Nicolas, Raskin, Jean-Francois
Published in Automated Technology for Verification and Analysis (2008)

Get full text

Book Chapter

Fixed point guided abstraction refinement for alternating automata: Implementation and Application of Automata (CIAA 2009)

Fixed point guided abstraction refinement for alternating automata

Lattice-Valued Binary Decision Diagrams

ALASKA Antichains for Logic, Automata and Symbolic Kripke Structures Analysis

Refine Results

Format

Subject Area

Topic

Language

Year of Publication

Database