Instantiating generic charts for railway interlocking systems.

Michele Banci, Alessandro Fantechi

Browse the full FMICS paper archive.