Gianfranco Ciardo, R. L. Jones III, Andrew S. Miner, Radu Siminiceanu. Logical and Stochastic Modeling with SMART. In Peter Kemper, William H. Sanders, editors, Computer Performance Evaluations, Modelling Techniques and Tools. 13th International Conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003, Proceedings. Volume 2794 of Lecture Notes in Computer Science, pages 78-97, Springer, 2003. [doi]
Abstract is missing.