Skip to content

On Finite Representations of Infinite-State Behaviours.

Antonn Kucera

VenueBSOFSEM
Year1997
ProceedingsSOFSEM

Browse the full SOFSEM paper archive.