Frédéric Boulanger

Documents

Identifiants chercheurs

Présentation

hai-nguyen-van

"chantal-keller"

	On the Semantics of Polychronous Polytimed Specifications Hai Nguyen Van , Thibaut Balabonski , Frédéric Boulanger , Chantal Keller , Benoît Valiron 18th International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2020, Vienna, Austria. pp.23-40, ⟨10.1007/978-3-030-57628-8_2⟩ Communication dans un congrès hal-02931403v1