Technical Report
On constructive specifications of abstract data types using temporal logic
Author(s): Frank Leßke
Year: 1991
Number: TUM-I9146
Editor:
CR Classification:
CR General Terms:
Keywords:
Abstract:
Available as compressed Postscript
BibTeX-Entry:
<![CDATA[
@techreport{ Lesske-TUM-I9146,
author = {Frank Le\ss{}ke},
title = {On constructive specifications of abstract data types using temporal logic },
number = {TUM-I9146},
institution = {Technische Univerit\"at M\"unchen},
year = {1991},
url = {http://www4.informatik.tu-muenchen.de/reports/TUM-I9146.html},
abstract = { },
CRClassification = {},
CRGenTerms = {}
}
]]>