Decentralised LTL monitoring
Work
Year: 2016
Type: article
Source: Formal Methods in System Design
Authors Andreas Bauer, Ylìès Falcone
Institutions Technical University of Munich, Centre Inria de l'Université Grenoble Alpes, Université Grenoble Alpes, Laboratoire d'Informatique de Grenoble
Cites: 37
Cited by: 64
Related to: 10
FWCI: 6.786
Citation percentile (by year/subfield): 88.56
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: green