Description: TRL, a formal language for temporal references/

Main Author:	Παναγιωτόπουλος, Τάκης
Other Authors:	Σπυρόπουλος, Κωνσταντίνος Δ., Ιωαννίδης, Ε.
Format:	Book
Language:	English
Published:	Athens: Demokritos, 1993-
Series:	Demo ; 93/10(v.1.) ;
Subjects:	Formal languages Programming languages (Electronic computers)

Physical Description:	v. : diagr. ; 28 cm.
Bibliography:	Includes bibliographical references