Frederic Magniette

Available identifiers

zbMath Open magniette.fredericMaRDI QIDQ2766876

List of research outcomes

Publication	Date of Publication	Type
Proving convergence of self-stabilizing systems using first-order rewriting and regular languages	2020-12-03	Paper
https://portal.mardi4nfdi.de/entity/Q2848422	2013-09-26	Paper
Verification, Model Checking, and Abstract Interpretation	2009-05-15	Paper
A method for the verification of a distributed and synchronized algorithm	2005-04-26	Paper
https://portal.mardi4nfdi.de/entity/Q4483914	2003-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q2766877	2002-01-28	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Frederic Magniette