Media type: Book Title: ESTL: a temporal ogic for events and states Contributor: Kindler, Ekkart [Author]; Vesper, Tobias [Other] imprint: Berlin: Professoren des Inst. für Informatik, 1997 Published in: Informatik-Berichte ; 8700 Extent: 19 S; graph. Darst; 30 cm Language: English RVK notation: SS 5530 : Universität Berlin, Humboldt-Universität: Informatikberichte Keywords: Forschungsbericht Origination: Footnote:
Departmental Library DrePunct – stack Shelf-mark: 1997 4 058185 001 Item ID: 10019776 Status: Loanable, place order > Ordering possible ‒ please log in