Edoardo Corsetti, Ernani Crivelli, Dino Mandrioli, Angelo Montanari, Angelo Morzenti, Pierluigi San Pietro, Elena Ratto. Dealing with different time scales in formal specifications. In Jean-Pierre Finance, Carlo Ghezzi, Gruia-Catalin Roman, editors, Proceedings of the 6th International Workshop on Software Specification and Design, IWSSD 1991, Como, Italy, October 25-26, 1991. pages 92-101, IEEE Computer Society, 1991. [doi]
Abstract is missing.