Dependent Automata for the Modelling of Dependencies

Susanna Donatelli. Dependent Automata for the Modelling of Dependencies. In Roberto Setola, Stefan Geretshuber, editors, Critical Information Infrastructure Security, Third International Workshop, CRITIS 2008, Rome, Italy, October 13-15, 2008. Revised Papers. Volume 5508 of Lecture Notes in Computer Science, pages 311-318, Springer, 2008. [doi]

Abstract

Abstract is missing.