Armin Heindl, Gábor Horváth, Karsten Gross. Explicit Inverse Characterizations of Acyclic MAPs of Second Order. In András Horváth, Miklós Telek, editors, Formal Methods and Stochastic Models for Performance Evaluation, Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings. Volume 4054 of Lecture Notes in Computer Science, pages 108-122, Springer, 2006. [doi]
Abstract is missing.