Encoding Temporal Logics in Executable Z: A Case Study for the ZETA System.

Wolfgang Grieskamp, Markus Lepper

Browse the full LPAR paper archive.