Roméo Courbis

From MaRDI portal
Person:2894571

Available identifiers

zbMath Open courbis.romeoMaRDI QIDQ2894571

List of research outcomes





PublicationDate of PublicationType
Handling Left-Quadratic Rules When Completing Tree Automata2015-03-23Paper
Rewriting Approximations for Properties Verification over CCS Specifications2012-06-29Paper
HANDLING NON LEFT-LINEAR RULES WHEN COMPLETING TREE AUTOMATA2009-11-19Paper
TAGED Approximations for Temporal Properties Model-Checking2009-07-09Paper
Finer Is Better: Abstraction Refinement for Rewriting Approximations2008-08-28Paper

Research outcomes over time

This page was built for person: Roméo Courbis

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2894571&oldid=7457051"
Powered by MediaWiki