Bauer_Falcone_2012

A. Bauer, Y. Falcone. Decentralised LTL Monitoring. RR CoRR, 2012.

Télécharger l'article

Charger l'article : (link)

Copyright :

Contact

Ylies Falcone

Référence BibTex

@TechReport{Bauer_Falcone_2012,
   Author = {Bauer, A. and Falcone, Y.},
   Title = {Decentralised LTL Monitoring},
   Institution = {CoRR},
   Year = {2012}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)