Serge Abiteboul, Zoe Abrams, Stefan Haar, Tova Milo. Diagnosis of asynchronous discrete event systems: datalog to the rescue!. In PODS '05: Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, Pages 358-367, New York, NY, USA, 2005.
[ Partial orders ] [ Scenarios ] [ Unfolding ]
Stefan Haar http://www.irisa.fr/distribcom
@InProceedings{Abiteboul05,
Author = {Abiteboul, Serge and Abrams, Zoe and Haar, Stefan and Milo, Tova},
Title = {Diagnosis of asynchronous discrete event systems: datalog to the rescue!},
BookTitle = {PODS '05: Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems},
Pages = {358--367},
Publisher = {ACM Press},
Address = {New York, NY, USA},
Year = {2005}
}
Get EndNote Reference (.ref)