@techreport{RISC1485,
author = {Ioana-Cleopatra Pau and Igor Rents and Wolfgang Schreiner},
title = {{Verifying Mutual Exclusion and Liveness Properties with TLA}},
number = {00-06},
year = {2000},
month = {January},
sponsor = {FWF},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Schloss Hagenberg, 4232 Hagenberg, Austria}
}