Cyril Carrez

From MaRDI portal
Person:3564939

Available identifiers

zbMath Open carrez.cyrilMaRDI QIDQ3564939

List of research outcomes





PublicationDate of PublicationType
Formal Techniques for Networked and Distributed Systems - FORTE 20032010-05-26Paper

Research outcomes over time

This page was built for person: Cyril Carrez