Frédéric Magniette

From MaRDI portal
Person:2766876

Available identifiers

zbMath Open magniette.fredericMaRDI QIDQ2766876

List of research outcomes





PublicationDate of PublicationType
Proving convergence of self-stabilizing systems using first-order rewriting and regular languages2020-12-03Paper
Probabilistic model checking of the CSMA/CD protocol using PRISM and APMC2013-09-26Paper
Verification, Model Checking, and Abstract Interpretation2009-05-15Paper
A method for the verification of a distributed and synchronized algorithm2005-04-26Paper
https://portal.mardi4nfdi.de/entity/Q44839142003-05-27Paper
https://portal.mardi4nfdi.de/entity/Q27668772002-01-28Paper

Research outcomes over time

This page was built for person: Frédéric Magniette

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