Agathe Merceron

From MaRDI portal
Person:1263990

Available identifiers

zbMath Open merceron.agatheMaRDI QIDQ1263990

List of research outcomes





PublicationDate of PublicationType
Specifying and verifying reactive systems in a multi-language environment2013-07-24Paper
Parametric verification of a group membership algorithm2011-04-08Paper
Vicinity respecting homomorphisms for abstracting system requirements2011-01-08Paper
Parametric Verification of a Group Membership Algorithm2006-07-14Paper
https://portal.mardi4nfdi.de/entity/Q44941162000-08-10Paper
The meaning of frozen tokens in live nets1989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37922301988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37766411987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37835891987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37835901987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37402491985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37402481985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39594361982-01-01Paper

Research outcomes over time

This page was built for person: Agathe Merceron

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