Jochen Hoenicke, Ernst-Rüdiger Olderog. Combining Specification Techniques for Processes, Data and Time. In Michael J. Butler, Luigia Petre, Kaisa Sere, editors, Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings. Volume 2335 of Lecture Notes in Computer Science, pages 245-266, Springer, 2002. [doi]
Abstract is missing.