BauerF12

Andreas Klaus Bauer, Yliès Falcone. Decentralised LTL Monitoring. In FM 2012: Formal Methods - 18th International Symposium, Pages 85-100, 2012.

Télécharger l'article

Charger l'article : Doi page

Copyright :

Contact

Ylies Falcone

Référence BibTex

@InProceedings{BauerF12,
   Author = {Klaus Bauer, Andreas and Falcone, Yliès},
   Title = {Decentralised LTL Monitoring},
   BookTitle = {FM 2012: Formal Methods - 18th International Symposium},
   Pages = {85--100},
   Year = {2012}
}

Référence EndNote [help]

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