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 | Site Map | Site powered by SPIP 3.0.25 + AHUNTSIC [CC License]

info visites 776231