Lecture notes on logical foundations for duration calculus
International Institute for Software Technology
1993

Details

Symbol***
TitleLecture notes on logical foundations for duration calculus
Call number
UNU/IIST(05)/R425/no.13
AuthorsInternational Institute for Software Technology
Series
DateTokyo : UN University : International Institute for Software Technology, Aug. 1993
Description
i, 45 p.
CollectionsUN Bodies > Research and Training Institutions > United Nations University (UNU)
Resource Type > Documents and Publications > Reports

Browse Subjects

Show more subjects...