Experts has a new look! Let us know what you think of the updates.

Provide feedback
Home
Scholarly Works
Monitoring Distributed Controllers: When an...
Conference

Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces.

Authors

Genon A; Massart T; Meuter C

Editors

Misra J; Nipkow T; Sekerinski E

Series

Lecture Notes in Computer Science

Volume

4085

Pagination

pp. 557-572

Publisher

Springer

Publication Date

2006

ISBN-10

3-540-37215-6

Conference proceedings

FM