Checking the TWIN Elevator System by Translating Object-Z to SMV.

Sren Preibusch, Florian Kammller

Browse the full FMICS paper archive.