Nicolas Maquet
From MaRDI portal
Person:1959652
Available identifiers
zbMath Open maquet.nicolasMaRDI QIDQ1959652
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| Fixed point guided abstraction refinement for alternating automata | 2010-10-07 | Paper |
| Lattice-Valued Binary Decision Diagrams | 2010-10-04 | Paper |
| Fixpoint Guided Abstraction Refinement for Alternating Automata | 2009-07-09 | Paper |
| Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking | 2008-04-11 | Paper |
Research outcomes over time
This page was built for person: Nicolas Maquet
