. "1"^^ . . . . "Le produit synchrone des automates (max,+)" . . . "Mod\u00E9lisation des syst\u00E8mes r\u00E9actifs : MSR 2009" . "Synchronous product of **(max,+) **automata"@en . . "Nantes" . "Synchronous product of **(max,+) **automata"@en . . "Boimond, J.-L." . "[D8310F39B8DC]" . . . . "RIV/67985840:_____/09:00330875!RIV10-AV0-67985840" . "2009-11-16+01:00"^^ . "Lahaye, S." . "Le produit synchrone des automates (max,+)" . . . "(max,+) automata; synchronous product; parallelism"@en . "RIV/67985840:_____/09:00330875" . . "323365" . "6"^^ . . "Synchronous products of (max,+) automata are introduced as multi-event (max,+) automata (which correspond to a class of timed automata with several clocks) and their behavior is studied. A formula for the behavior of synchronous product is obtained."@en . "3"^^ . "Synchronous products of (max,+) automata are introduced as multi-event (max,+) automata (which correspond to a class of timed automata with several clocks) and their behavior is studied. A formula for the behavior of synchronous product is obtained." . . . "Lavoisier" . "Paris" . "2-7462-2601-4" . "Z(AV0Z1019905)" . "Komenda, Jan" .