Gianfranco Ciardo. Implicit Representations and Algorithms for the Logic and Stochastic Analysis of Discrete-State Systems. In Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro, editors, Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings. Volume 3670 of Lecture Notes in Computer Science, pages 15-17, Springer, 2005. [doi]
Abstract is missing.