A. Merceron

Available identifiers

zbMath Open merceron.agatheMaRDI QIDQ1263990

List of research outcomes

Publication	Date of Publication	Type
Specifying and verifying reactive systems in a multi-language environment	2013-07-24	Paper
Parametric Verification of a Group Membership Algorithm	2011-04-08	Paper
Vicinity Respecting Homomorphisms for Abstracting System Requirements	2011-01-08	Paper
Parametric Verification of a Group Membership Algorithm	2006-07-14	Paper
https://portal.mardi4nfdi.de/entity/Q4494116	2000-08-10	Paper
The meaning of frozen tokens in live nets	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3792230	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3776641	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3783589	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3783590	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3740248	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3740249	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3959436	1982-01-01	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: A. Merceron