Gerardo Canfora, Aniello Cimitile, Giuseppe A. Di Lucca. SBSE: An Environment for the Specification and Simulation of Finite State Systems. In Franco Maceri, Giuseppe Iazeolla, editors, Eurosim 1992, Simulation Congress, Proceedings of the 1992 EUROSIM Conference, Capri, Italy, September 28 - October 4, 1992. pages 167-173, Elsevier, 1992.
Abstract is missing.