Papers

2023

2022

2021

2020

2019

2018

2017

2016

2009

2004

2003

2001

1993

1992

Gerardo Canfora, Aniello Cimitile, Giuseppe A. Di Lucca. SBSE: An Environment for the Specification and Simulation of Finite State Systems. EUROSIM 1992 - preprint

1990