BauerF12

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

Download

Download paper: Doi page

Copyright notice:

Contact

Ylies Falcone

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)