HYASM: A Tool to Verify Hierarchical Systems.

Angelo Ferrando, Vadim Malvone, Aniello Murano, Silvia Stranieri

Browse the full WETICE paper archive.