Verimag

Technical Reports

Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga
Local Planning of Multiparty Interactions with Bounded Horizon (2013)

TR-2013-5.pdf


Keywords: Distributed Real-Time Systems, Timed Automata, Knowledge

Abstract:

Contact | Plan du site | Site réalisé avec SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 876362