Verifying Mutual Exclusion and Liveness Properties with TLA

Research output: Working paper and reports › Preprint

Name	RISC Report Series
No.	00-06

Fields of science

@techreport{b3db794dd88e4980a99df9b5e3b13e56,

title = "Verifying Mutual Exclusion and Liveness Properties with TLA",

author = "Pau, {Ioana Cleopatra} and Igor Rents and Wolfgang Schreiner",

year = "2000",

month = jan,

language = "English",

series = "RISC Report Series",

publisher = "Technical Report",

number = "00-06",

type = "WorkingPaper",

institution = "Technical Report",

}