Ioana Cleopatra Pau, Igor Rents, Wolfgang Schreiner,
"Verifying Mutual Exclusion and Liveness Properties with TLA"
, Serie RISC Report Series, Nummer 00-06, Technical Report, Altenbergerstraße 69, 4040 Linz, 1-2000, Ioana-Cleopatra Pau, Igor Rents, Wolfgang Schreiner. Technical Report 00-06, RISC-Linz, Johannes Kepler University, Linz, Austria, January 2000.
Original Titel:
Verifying Mutual Exclusion and Liveness Properties with TLA
Sprache des Titels:
Englisch
Veröffentlicher:
Technical Report
Verlagsanschrift:
Altenbergerstraße 69, 4040 Linz
Serie:
RISC Report Series
Number:
00-06
Erscheinungsmonat:
1
Erscheinungsjahr:
2000
Notiz zum Zitat:
Ioana-Cleopatra Pau, Igor Rents, Wolfgang Schreiner. Technical Report 00-06, RISC-Linz, Johannes Kepler University, Linz, Austria, January 2000.
Forschungs-