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