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

Technical Report PDF: 
Technical Report Number: 
2006.59
TitleMonitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces
Publication TypeConference Paper
Year of Publication2006
AuthorsGenon, A, Massart T, Meuter C
Conference NameFM